gh-pages: generate HTML at ubuntu, set version 0.6dev