Improve deployment cancellation
If a newer build is already in process, final deployment is skipped to avoid spam. The mechanism is bad, though, it relies on running the deployment on the same server with a mounted directory than a previous pipeline step. Use the Gitlab CI mechanisms instead.