5556c62 Moving gh-pages docs to docs/ folder, with script to build them