Merge branch 'patch-1' into 'master'

Update .gitlab-ci.yml

See merge request cocsn/gosdn!3

.gitlab-ci.yml

-image: pandoc/latex:latest
+image:
+  name: pandoc/latex
+  entrypoint: [""]
 
 Documentation:
+  tags:
+    - docker
+  only:
+    changes:
+      - documentation/design/*.md
   script:
     - cd documentation/design
     - pandoc --filter pandoc-citeproc --bibliography=bibliography.bib --csl=acm-sig-proceedings.csl --variable papersize=a4paper -s *.md -o documentation.pdf
-    - ls
   artifacts:
     paths:
       - documentation/design/documentation.pdf
\ No newline at end of file