Initial Commit of LEGO Rover sources with Model Checking
bits stripped out.