adding mmt service wrapper

mmt-service-wrapper/.classpath

mmt-service-wrapper/.project

mmt-service-wrapper/.settings/org.eclipse.jdt.core.prefs

mmt-service-wrapper/.settings/org.eclipse.m2e.core.prefs

mmt-service-wrapper/pom.xml

mmt-service-wrapper/src/main/java/info/kwarc/mmt/MMT.java

...-wrapper/src/main/java/info/kwarc/mmt/ResultInstance.java

...apper/src/main/java/info/kwarc/mmt/ResultListWrapper.java

mmt-service-wrapper/src/main/java/info/kwarc/mmt/Uri.java