Workspace Stuff (mostly rosinstall files)