Update gh-page on every commit
Merge branch 'master' of https://github.com/plt-tud/r43ples