Fine tune the highlighting of defintions and selection, closes ticket #21
Add explanations to the Shift template
Implement indent and unindent in the text editor, closes ticket #23