vimrc: Use ai for promela