Trigger deploy of website on push to master

Previously, we only triggered the pipeline at acts-documentation which does the actual deploying automatically when we added a tag here. I think it's useful if we do this also when doing any merge to master. This MR adds a CI job which does that using Gitlab's cross-project pipelines.

You can look at trial-runs here:

• Pipeline in core
• Triggered pipeline in documentation