coq supported, changed some functions' name
removed *.vim into plugin
del old files