Second Release Candidate for 1.2.0

This version introduces many new features and lots of improvement, mostly related to UI and stability, and a new, integrated development workflow.

Important note

There are small changes in the repository format, your .opam/ will be automatically updated on first run. Be careful to backup if you intend to try out the new version and switch back