Refactored editor.js

Made it easier to have multiple instances.
Added tabs to file editor. #91.
Added icons to distinguish private and public resources
Added close confirmation.
Merge branch 'master' of https://github.com/estebanroblesluna/abstractions
Minor esthetic changes.

Fix some file tab's glitches.
Make close button apear on focus.
Remove close button from collapsed tabs.