fix splash loading with wx3.0

Previously only gray square was shown. Apparently to show splash screen several calls of wx.Yield() are necessary.
Unfortunately splash.IsShowOnScreen() returns always 1 regardless of whether splash is on the screen or not.
this fix is a dirty hack. It just process all events after splash is created during 0.3 seconds.

          <xsd:attribute name="Compiler" type="xsd:string" use="optional" default="gcc"/>
          <xsd:attribute name="CFLAGS" type="xsd:string" use="optional" default=""/>
          <xsd:attribute name="Linker" type="xsd:string" use="optional" default="gcc"/>
          <xsd:attribute name="LDFLAGS" type="xsd:string" use="optional" default=""/>