vimrc: Update tab-style for promela