feature proposal: add glossary

We use a lot of ambiguous and complex terms. It would be good to make use of the Glossary feature from Jupyter book.