Added promela to vimplugins.