Use glossary directive

This uses the Sphinx `glossary` directive to get better markup for the glossary.