Fix documentation versioning, change gh-pages build.