Mars Rover Demo TODO: Describe how to run the Mars rover demo. This may be simply a link to the demo repo that provides the instructions