Only subtree merge into gh-pages

Along with PR #180, this moves the site sources to master branch. A script for doing the subtree merge from master back into gh-pages (to be published on Github pages), is supplied in `bin/update-gh-pages` and described in the `README.md`.