Proposal to add integration jobs as downstream of the push job

As the integration jobs currently rebuild their own server, there is no need
to wait until completion of the build jobs to trigger them.

---

--no-rebase