Added Promela language definition to languages.yml