SVGHMI: allow i18n of formated strings of HMI:Messages. This was by construction impossible since formating was given as an argument. Now added optional "format" labelled element in HMI:Display, so that it can be translated, when labelled "_format".

                  <xsd:element name="Win32">
                    <xsd:complexType>
                      %(toolchain_gcc)s
                    </xsd:complexType>
                  </xsd:element>