Add HOL specific things to the .gitignore.
First steps towards getting sources to build with HOL4/K8+