vimrc: List chars for promela