Update doc/electric/ros.rosinstall