Add checks for missing cross-references
The build should now fail if there are any, forcing us to fix them before merging
This also fixes a few small bugs:
- allows empty glossary files (with no entries), since we have a stub for SUSS now
- better output of duplicated entries (which are allowed, but get warnings)