Adds *.historyfile to .gitignore