vimrc: Add autocmd for filetype promela