Added promela syntax highlighting