This (overdue) MR implements the remaining EditorManager actions.
Known shortcomings:
- PseucoDebugger has been ported to React independently and will only be merged once we upgrade to react-bootstrap4
- Though most pseuco.com features are quite robust, it is reasonable to expect external tools (eg. arbitrary JANI servers) to report unexpected error messages that are not further wrapped by the frontend