progs/demos: update .gitignore