renamed extension to .rosinstall
modified extension for workspace configuration files to .rosinstall