More cleanup after GitHub migration.
Adding .gitignore file.