Frontend: Editor which preserves cursor position

[olehermanse]

The biggest issue right now is that when two people try to edit, the cursor will jump around.
This can probably be improved by using something like this: https://ace.c9.io/
@michaelpande