SVGHMI: remove widgets deprecated since long

20 months ago, Edouard Tisserant