fix bugs in GossipPull
update RBOP spec and GossipPush
clean directories and move policies files to the right place
remove Random and use context to get it
Rewrite Dot rendering