Online editor with tabs

Added tab to the online editor.
see https://groups.google.com/d/topic/web2py-developers/yq2NyWDT0sw/discussion