Deploy master to production environment via Gitlab CI

This MR adds the deployment job to the future production environment. Currently, this is accessible via https://hifisweb1.fz-rossendorf.de