Add .gitignore file.

Add a .gitignore file, as the original one was lost during the move to github.