Convenience: a common .gitignore file for the project.