A soon-to-be-complete (?) clone of the sumo repository. See also https://github.com/planetsumo/sumo