Editing server-side files in web pages [ocaml+javascript]