Support python text highlighting in Text module

[muratmaga]

For posterity, this functionality is now available as an extension called ScriptEditor. See:

New extension: ScriptEditor - a simple programming editor

Slightly revised version of this extension is now on the catalogue. The name was changed to ScriptEditor to avoid confusion with Segment Editor.