Handle multiple documents #142
Description
Add the ability to have multiple documents open at the same time.
The selection of documents is already handled in the editor, but the ability to add/delete documents has to be added.
Most of the work involves using the tabs to manage documents in the frontend.
Complexity: 2
Involves: Frontend (JS), Editor (Rust)