Frenetic release

This pull request includes the following releases:

* frenetic.2.0.0

In addition, it includes changes to opam files of previously released packages to more accurately reflect their dependencies.