Add some more derived files to .gitignore.