Revert "Minor changes in gitignore"

This reverts commit cd430bf028f02ca274bf1f99206fba16046c70a5, reversing
changes made to ef659e1a7124b8d7cd02b36f477e7edb5e1e8667.