Checkout of gh-pages tweaked for travis