Revise .gitignore to ignore files from compilation.