add ghci file to dotfiles