This project is moving into the depot. Upstream is
github/thkoch2001/planet-mars.
This commit does not yet add a Nix build, only imports the code and matches
formatting requirements.
The import has been josh-filtered, which will allow us to continue publishing
the history to the previous repo.
Change-Id: I9cb184b5af3f74a0b4079bac499b4db039b7939b
