Unsaved changes will no longer be overwritten without prompting first.
Anonymous users can now load publicly shared files
Deleting a file is now possible
Fixes typo in manual
Open & Save in file dialog are now translatable
Even more messages are now translated in filedialog
Code modified status is now saved to local storage
Better admin interface
Merge branch 'compiler' into requirejs

Conflicts:
	editor/js/editor.js
	editor/js/filecontrols.js
	editor/js/filedialog.js
	editor/js/main.js
Typechecker now handles unknown types better
Adds missin i18n in filedialog
Merging
Makes worker work in Chrome
Removes useless wtf code
Makes sure errors are displayed to user even in case of an internal error
Fixes typo in manual
Merge branch 'master' into requirejs
Fixes pastebin