adds ghci dotfile