Frenetic and Ox, as presented at PLDI 2013.
tweaked descriptions
Merge pull request #853 from arjunguha/master

Frenetic and dependences for opam