Git ignore .hadrian_ghci (generated by the ./hadrian/ghci.sh)