autoc: introduce dehopified type

A type parameterized by the policy type, that contains all the
information that dehopification produces.
autoc: rename SwitchMap to SwitchPortMap

Much more descriptive.
autoc: convert from SwitchPortMap.t to SwitchMap.t

switch_port_policies_to_switch_policies turns the map from switch, port
pairs into a map from switches to policies. This is a better
representation for actually getting stuff running on switches, in that
it saves client code from doing a loop.
autoc: katnetic dump now dumps all switch tables