Add glossary (this should be useful in the long run!).

Also update gitignore with new auxilliary files generated
by the glossary.