Glossary

Fix #105

This PR adds support for editing the glossary

- [x] Glossary menu with list of terms
- [x] Edit/Remove glossary term by clicking on it in the menu
- [x]  Edit from the editor
- [x] Make all icons in toolbar visible