Automatically generate gh-pages

Modify the build process, so that generated web pages get copied
to a dedicated directory.

The idea is to have a seperate local directory / repo for the gh-pages
branch, so we can quickly update the github project website
Fix url bug in build.properties