Add vim-togglelist plugin and coq mapping