corrected https:// URLs in rosinstall file