SVGHMI: add undo button to widget library path selection (reverts to default library).

12 months ago, Edouard Tisserant