More code editor stuff

Syntax highlighting, dock widget with toolbar and MDI, proper font
settings, consistent file new/open/save/reload, modifications indicated
in tab name, toolbar updated properly.