rosinstall files for our roswiki-indexed repositories, and other uses.