Initial, belated commit.
Ignore more stuff.
* Initial upload to Github.