Initial push to GitHub

Things we can be clear about including or excluding.