Fixup code mirror a bit more.

Add a save button.
Implement basic "POST" hander in webserver.