Updated readme to point to frenetic opam package. Fixed off-by-one bug in controller priorities
Updated Pathetic compiler to target frenetic w/ new ActionChoice policy type. Currently unimplemented in frenetic compiler, but one step at a time.