Really remove PolicyGenerator for now
(cherry picked from commit fbfcc09b9dfa1ba9a1d91bbff4d21b5889a132c5)

Conflicts:
	_tags
	setup.ml
Merge pull request #258 from frenetic-lang/rm-pg

Remove PolicyGenerator for now