Replaced editor.doc() with editor.filename()
Merge branch 'editor' of https://github.com/terman/6.004x into server_and_bootstrap
saving and hiding functionality added