added ghci to dotfiles