add auto-package tests for coq
improve manpage
vim plugin
integration into menu system
