Added __history to gitignore
Minor tweak in compiler
Merge pull request #83 from FHannes/master

Some minor changes