Fix the Glossary

[segfaultxavi]

There are two glossary pages, the old one, which needs cleansing, and the new one imported from the handbook (/handbook/glossary.html).

• [x] Both need to be merged. Final format has to be decided.
• [ ] Automatic glossary tooltips like we had in the handbook would be great.

[segfaultxavi]

Take a look at this for the building of the glossary table: https://bitbucket.org/vinay.sajip/sphinx_sizzle_theme/src/master/sphinx_sizzle_theme/__init__.py

This builds a JS file with the WHOLE glossary. ALL pages then load it and a JS method that injects the tooltips.

The code is a good inspiration for how to parse and build the glossary table, but I think I prefer embedding the tooltips at build time.