Add 3rd type of KAT policy for an AB FatTree, exploiting regularity of the topology structure.
Merge branch 'master' of github.com:frenetic-lang/ocaml-topology