replace static base.rosinstall with url to web service generating rosinstall files on demand (#419)