A suite of mathematical software for 3-manifold topologists, including support for normal surfaces and angle structures