Minor updates to Frenetic and supporting libraries

I realized that putting each project in a separate Github repo makes packaging for OPAM a lot easier.