auto: comment case in epsilon elimination algo
auto: do not include sw/pt filters in dehop policy

The keys for the SwitchMap are now switch, port pairs and the generated
policies do not include filters to check switch and ports. You can
either manually add them, or use the function switch_policies_to_policy,
which will add them to each switch policy before creating one huge
parallel composition.