litmus: added forgotten topology.ml
Avoid some OCaml 4.02 warnings