Make repository host parameterizable

This allows to clone repositories from other
hosts than gerrit, e.g. GitHub

Change-Id: I2c2208f5c6b95e92affedcdc889bb2a93be7dd5f