Start pulling from github again for more recent bits.

This includes changes to easily allow changing the repo url.