SVGHMI: enhance user feedback in case of missing SVGHMI library

11 months ago, Edouard Tisserant