Describir: A Generalized Manifold Topology for Branching Space-Times.