Fix .min.vimrc
Add reltime snippet in vim.snip
Add coq settings