Changed kinetic-protocol subrepo URL to use https so that Travis CI can clone it