added ghci and tmux configs