Minor fixes and additions to the gitignore.