multiple changes

build_dev_docker_images

@@ -0,0 +1,12 @@
+#/bin/bash
+export REGISTRY="docker.triton2.fet.at"
+
+# Build a development Image with Theia and all content
+docker build -f Dockerfile.theia -t $REGISTRY/andisdev:latest .
+docker push $REGISTRY/andisdev
+
+# Build Solr Server Image
+echo "Building SOLR Server Image Solrfet"
+cd services/solr_server
+docker build -t $REGISTRY/solrfet:latest .
+