Gitlab rewrite

Rewrites the gitlab URL. This can be handy if you want to push to another GitLab repo on successful builds. Uses the environment variable CI_SERVER_HOST to determine the HOST.

gitlab_instead_of()