shared folder is visible
Merge branch 'master' of https://github.com/6004x/6.004x
Editor handles its own tab restoration.
Added some no-tab tips to the editor.
Single point to change the fileserver URL.
update shared files
minor tweaks
Merge branch 'master' of https://github.com/6004x/6.004x into jsim
added shared files to the proper directory