Actually make the GitHub page work

I changed the repo to make it change the address without commiting
gh-pages to master. Oops.