SVGHMI: add warning_labels, same as optional_labels but emits warnings at build time if element is missing.

2022-06-24, Edouard Tisserant