[bashrc] Add provers to path
[scripts] Add ckafi script
Merge branch 'master' of github.com:danr/dotfiles
[submodules] Update
[Makefile] Add ghc-mod, submodules and vimproc