Add dot ghci file