Update gitignore for #31.
Fixes #31.