SVGHMI: Changes /CURRENT_PAGE_* behaviour to prevent problem whith multiclient : all clients were switching page when one was jumping.
- now PLC have to prefix page name with "!" to order page switch.
- HMI do not prefix with "!" when jumping, this avoiding looping incidently
- In case of multiple client:
CURRENT_PAGE reflects current page of last client hwo did jump
Setting CURRENT_PAGE with "!" affects all clients simultaneously

     1

     2

                  <xsd:element name="Xenomai">

     3

                    <xsd:complexType>

     4

                      %(toolchain_gcc)s

     5

                      <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>

     6

                    </xsd:complexType>

     7

                  </xsd:element>