changed ssh to https for hg gazebo repository