Removed the trivial .gitignore file, replaced by a global gitignore.