Moving to Github

The first content-containing commit