Added gitlab CI

.gitlab-ci.yml

+image: debian:unstable
+ 
+before_script:
+  - apt update -qq
+  - apt-get -y install texlive texlive-pstricks texlive-latex-recommended
+    texlive-fonts-extra cm-super make
+ 
+stages:
+  - build
+
+build-distcheck:
+  stage: build
+  script:
+    - make pdf
+    - mkdir pdfs
+    - mv *.pdf pdfs
+ 
+  # The files which are to be made available in GitLab
+  artifacts:
+    paths:
+      - pdfs/*