all gh-pages renamed to new github.io domain
Merge pull request #413 from SimonWaldherr/github.io

all gh-pages renamed to new github.io domain