Implement export Glossary to CSV

Glossary Manager currently implements an Import from CSV feature that may be used to transfer data from spreadsheet-maintained glossaries. However, as this is currently a testbed project for learning techniques, a corresponding export feature has not been added, since it offers less room for learning.

Some in the future, the export feature will be added.
