Only use latest released version by default.

remix - vm integration

Dont display empty compiler output fields

Remove ctrl-t and ctrl-f keyboard shortcut

Include a gas limit for web3 constant calls

Provide formal verification input.

Self contained Travis build - work without Internet connection

remix integration

Minor corrections

Fix dargbar width

Create a self contained ZIP with each travis build

Use solc.js compiler [WIP]

On Firefox the element with "dragbar" ID covers 90% of the element with "input" ID scroll bar. So it is really hard to drag the scroll bar.
I recommend to change in the #dragbar CSS element the Width from 1em to 0.5em.