Separate design and user docs

Moved design documentation into a subdirectory.
Created some new user-focused documentation, and a glossary.
Partially resolves #1813
Not your fault, but I think all `(docs/` references are broken.