SVGHMI: make a copy of tests/svghmi as test/svghmi_widget because too crowded since having pages for widget documentation. Strip those pages from tests/svghmi, so that it
is more light for regular testing.

     1

     2

                  <xsd:element name="Linux">

     3

                    <xsd:complexType>

     4

                      %(toolchain_gcc)s

     5

                    </xsd:complexType>

     6

                  </xsd:element>