vimrc: Add Murphi syntax