update dotfiles, add ghci.conf