Add *.hi to gitignore