Dehopification compiler

Dehopification algorithm as explained in paper draft. Entry point is a policy with explicit topology terms of the form ``Link (sw,pt,sw',pt')``, returns NetKAT_Types policy using VLAN as tag. Uses cross-product construction.