progs/trivial: Update .gitignore.