GtkSourceView language specification for the [Prometeus](http://www.prometeus.ru/) distant learning system