add .ghci file