Resurrected Arjun's old Policy Generator

Also:
* Tweaks to many files to reflect changes in ocaml-topology in representations of numerics

* Added a simple unit test to provide a template for Jason / Basu to add more
Remove duplicate hosts declaration
Merge pull request #131 from frenetic-lang/policygen

Resurrected Arjun's old Policy Generator