Remove (currently) unused files from .gitignore