Add new mirage packages that do not require OPAM switching to operate.

Fix up previous constraints as appropriate
Merge pull request #793 from mirage/master

Add new mirage packages that do not require OPAM switching to operate