Images directory for glossaries website

• drawio diagrams contain multiple drawings.
• They can be edited with the free online tool: https://app.diagrams.net/ and then exported to svg.
• For the svg images, check if the source image is in drawio format.

Last modified 2022-01-03 (b24f8a9)