docker: build and deploy new docker via CI

.gitlab-ci.yml

@@ -69,6 +69,13 @@ build:packages:
       - build/*.rpm
       - build/*.tar.gz
 
+build:docker:
+  stage: build
+  script:
+    - docker build -f Packaging/Docker/Dockerfile -t rwthacs/dpsim:${DOCKER_TAG_DEV} .
+  tags:
+    - shell
+
 test:pytest:
   stage: test
   script:
@@ -83,6 +90,15 @@ test:pytest:
   tags:
     - docker
 
+deploy:docker:
+  stage: deploy
+  script:
+    - docker push rwthacs/dpsim:${DOCKER_TAG_DEV} .
+  dependencies:
+    - build:docker
+  tags:
+    - shell
+
 deploy:docs:
   stage: deploy
   script: