Redirects the orogen/mars_core due to a change in the repository's name