.gitignore: add other generated files