Added a glossary to the documentation.

Merged Markus Scheidgen requested to merge glossary into develop

Changelog: improvement

Merge request reports