Use HTML label for options, fixes #1600

Update support-tab.js

Update README.md

Update plugin.js

Add compiler to terminal

Update run-tab.js

Remove non friendly alert (for the workshop)

Update draggableContent.js

Use https for Pipeline plugin

Update app.js

Add Pipeline plugin

added analysis plugin

Update plugin-tab.js

Add exports object to terminal context

fix ethdoc plugin endpoint

Don't highlight when content changed