wg_boxturtle_devel.rosinstall is 404

[jayvdb]

http://www.ros.org/rosinstalls/ doesnt include wg_boxturtle_devel.rosinstall

$ git grep 'wg_boxturtle_devel.rosinstall'
doc/rosinstall_usage.rst:    rosinstall ~/workspace /opt/ros/boxturtle http://www.ros.org/rosinstalls/wg_boxturtle_devel.rosinstall
doc/rosinstall_usage.rst:    rosinstall ~/workspace http://www.ros.org/rosinstalls/wg_boxturtle_devel.rosinstall

[dirk-thomas]

Closing since the repository is about to be archived: see #126.