SVGHMI: Warn at build time when SVG refers to non-existing widget types.

2022-07-14, Edouard Tisserant