Add dereferencing artifacts and generation code. Change folder structure to accommodate GitHub Pages hosting.

[stevenchalem]

• The per-term rdf files and the modified Widoco output intended for use in dereferencing were developed in a separate repo. Consolidate these items into the present repo along with the code that generates the per-term rdf files.
• Patch the Widoco output to allow individual terms to be referenced in URLs.
• GibHub Pages can publish from either the repo root or from a docs/ folder. Currently this repo is organized, and GitHub Pages is configured to publish from, the repo root. Change this to a docs/ folder so that files that are not intended for publication through GitHub Pages (such as the code for generating those files) are not in fact published.