Removed unused code.
A small step for zone transfers in primary diagrams.
Removed a lot of nulls from the primary spider diagram.
Added some extra Zone helper functions.
Implemented contour relations in primary spider diagrams.
Simplified and sped up the Maven build process for Isabelle/Scala.