Github integration

Many awful things and many things left to do, but there's something that's demoable.