ODEDeployer: add getters for the deploy URL and the deployment archive