SVGHMI: fix svghmi_jumps example's SVG file (viewport was misplaced)

2022-09-13, Edouard Tisserant