Give the edit-text widget some extensibility hooks

So that the upcoming CodeMirror plugin can do its stuff
Update CodeMirror plugin to latest version and the new widget framework

Now the CodeMirror plugin modifies the behaviour of the core edit-text
widget.
Add a demo edition for CodeMirror
Update Features tiddler to point to CodeMirror demo