emacs: remove coq/proof-general support
emacs: remove go/javascript/markdow/rust/scala/yeti support
cleanup vimrc
ocaml
profile
add solarized
git aliases
aliases
git
hg
vim
blah
a
g