update dot files and add ghci