Add Promela support to vim