Fixes #824.
This implements #383.
.gitignore is basically just an empty file that might serve a purpose someday.