Improve PreTeX Editor Module plugin

* Add PretexBuiltinFunction, PretexFunction and PretexStatement classes
* Improve existing classes
* Update GPL headers