OpenCog REST API Interactive Documentation as GitHub Pages.

Augments https://github.com/opencog/opencog/pull/928