Merge branch 'patch-1' into 'master'

Update README.md

See merge request !778

README.md

@@ -80,25 +80,7 @@ echo 'put minerva_12.0.3_amd64.deb' | cadaver https://webdav-r3lab.uni.lu/public
 ```
 
 ### Docker image
-There is [Dockerfile]( https://git-r3lab.uni.lu/minerva/core/blob/master/Docker/Dockerfile) that allows to build Docker image from currently released debian package. After releasing debian package crete a Docker image and deploy it:
-```
-cd ~/workspace/minerva/Docker/
-docker build --no-cache -t minerva .
-```
-Check list of docker images to find DOCKER ID
-```
-docker images
-
-REPOSITORY     TAG           IMAGE ID            CREATED             SIZE
-minerva        latest        26a9534e37ff        About an hour ago   1.223 GB
-debian         jessie        bb5d89f9b6cb        13 days ago         125.1 MB
-```
-Tag docker image (assume that your docker ID is "26a9534e37ff" and version is 9999) and push it to repo:
-```
-docker tag 26a9534e37ff  docker-r3lab.uni.lu/minerva/minerva:9999
-docker login https://docker-r3lab.uni.lu/
-docker push docker-r3lab.uni.lu/minerva/minerva
-```
+Update minerva [docker repository](https://git-r3lab.uni.lu/minerva/docker).
 
 ### VirtualBox images
 We provide also VirtualBox images with minerva installed  on it. Just create a new debian virtual box image and upload it to webdav: