.gitignore and progs.dat added.