added .ghci file