coq mode
Merge branch 'master' of github.com:namin/.emacs.d
remove hott specific coq setup
install proof general