local policy example
Merge branch 'onug-hackathon' of https://github.com/frenetic-lang/pyretic into onug-hackathon