rm clojure-test-mode(cuz deprecated)
add clojure pac
change yasnippet
add ocaml setting
add proof general
fix howm