Added Promela language definition to languages.yml

Hi everyone,

Just thought I would add Promela (http://en.wikipedia.org/wiki/Promela) to the list. It's a pretty well-known model checking language.

Thanks!