editor color themes: renamed edited 'chaos' to 'remixDark'

themes.

publish only built files

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