Remove CI

No GitLab Runner is available on this server, so no use failing
the pipeline over and over.

.gitlab-ci.yml

-# stages:
-#   - build
-
-# build:
-#   stage: build
-#   image: texlive/texlive:latest
-#   before_script:
-#     - echo "machine gitlab1.ptb.de login $SETTINGS__GITLAB_USER password $SETTINGS__GITLAB_USER_TOKEN protocol https" >>~/.netrc
-#     - chmod 0600 ~/.netrc
-#     - git config --global credential.helper netrc
-#     # GitLab is not able to connect to the apt-get repository
-#     # This seems to be a problem with docker, which I can’t fix.
-#     # As a workaround don’t use the firacode font for now.
-#     #- apt-get update && apt-get -y install fonts-firacode
-#     - export http_proxy="http://194.94.94.194:8080"
-#     - export https_proxy="http://194.94.94.194:8080"
-#     - export HTTP_proxy="http://194.94.94.194:8080"
-#     - export HTTPS_proxy="http://194.94.94.194:8080"
-#     - export FTP_proxy="http://194.94.94.194:8080"
-#     - export NO_proxy="127.0.0.1, *.ptb.de"
-#   script:
-#     - cd ${FOLDER}
-#     - lualatex --shell-escape ${FILE}
-#     - biber ${FILE}
-#     - lualatex --shell-escape ${FILE}
-#     - lualatex --shell-escape ${FILE}
-#     - cd ..
-#   artifacts:
-#     paths:
-#       - "**/*.pdf"
-#   parallel:
-#     matrix:
-#     # List all to-be-built projects here
-#       - FOLDER: "proposal"
-#         FILE: "proposal" 
-#       - FOLDER: "thesis"
-#         FILE: "thesis"
\ No newline at end of file