Remove some generated files and add them to .gitignore.