.gitignore: added some more generated files