Add a GitHub project

Start with a public repository. RobotSpace imports its metadata as a draft; ownership and publication are separate checks.