Create gh-pages branch via GitHub
moved web pages to doc/web.
Merge branch 'master' into gh-pages