https://microsoft.github.io/monaco-editor/ as an ERP5 source code editor

It was built using https://lab.nexedi.com/jerome/monaco-editor-erp5/ and
uploaded to ERP5 following this procedure:

First enable webdav by adding in zope conf:
```
<webdav-source-server>
  address 127.0.0.1:12200
  force-connection-close off
</webdav-source-server>
```

This was built and uploaded to ERP5 with:
```bash
git clone https://lab.nexedi.com/jerome/monaco-editor-erp5.git/
cd monaco-editor-erp5
npm
npm run build
lftp http://login:pwd@127.0.0.1:12200/erp5/portal_skins/erp5_monaco_editor/monaco-editor/ -e 'mput dist/*'

```

TODO:
 * [ ] Feature parity with erp5_code_mirror:
   * [ ] diff viewer
   * [ ] full page editor
   * [ ] fullscreen editor ?
   * [ ] do not reload page on save ?
   * [ ] pylint errors + warnings ? ( or language server ? )
   * [ ] SQL editor
   * [ ] no hacks in erp5.css
   * [ ] renderjs gadget version
 * [ ] New features:
   * [ ] python language server ? https://github.com/palantir/python-language-server
   * [ ] [prettier](https://github.com/prettier/prettier) integration, see https://github.com/prettier/prettier-vscode