Adding docker support to circleci

Update run.md

Fixed typo.

Update plugin_manager.md

Updated typo.

Ensure path of content loaded in the editor is consistent

Framing with parameters url

preactivate solidity

collapse terminal and side panel

Load wasm builds if available

Fix Update UI After Folder Delete

Check if ast present

new Ace editor dark theme

new light theme