doc: add a glossary page (fixes #26)
Merge PR #35