WorkflowManager: renaming .launch files according to the new name of our project.