important restructuring and added tests

...ava/info/kwarc/sally4/mathhubworker/impl/LMHWorkflow.java

...o/kwarc/sally4/mathhubworker/impl/MathHubEnvironment.java

...rc/sally4/mathhubworker/impl/PlanetaryClientWorkflow.java

.../info/kwarc/sally4/mathhubworker/impl/WorkflowCommon.java

...warc/sally4/mathhubworker/routes/LMHWorkflowInstance.java

...arc/sally4/mathhubworker/routes/PlanetaryClientRoute.java

...mathhubworker/routes/PlanetaryClientWorkflowInstance.java

docmanager/pom.xml

...src/main/java/info/kwarc/sally4/docmanager/AlexRoute.java

.../main/java/info/kwarc/sally4/docmanager/IDocWorkflow.java

...va/info/kwarc/sally4/docmanager/IDocWorkflowInstance.java

.../src/main/java/info/kwarc/sally4/docmanager/TestMain.java

...java/info/kwarc/sally4/docmanager/impl/AlexRouteImpl.java

.../kwarc/sally4/docmanager/impl/DocumentManagerAdapter.java

...fo/kwarc/sally4/docmanager/impl/DocumentManagerModel.java

...arc/sally4/docmanager/routes/DocumentManagementRoute.java

...a/info/kwarc/sally4/docmanager/routes/SallyAlexRoute.java

...fo/kwarc/sally4/docmanager/routes/SallyRegisterRoute.java

...rc/sally4/docmanager/impl/DocumentManagerAdapterTest.java

...warc/sally4/docmanager/impl/DocumentManagerModelTest.java