Rename extension instance 'wxHMI' to 'wxglade_hmi'

It is necessary because of following commit 7f59aa398669 ('WxGlade HMI extension now does
only instanciate wx object who's name match extension's name. If no
object match the name and no code is provided in 'start' user python
code section, then a warning is issued')

     1

#!/bin/bash

     2

     3

INKSCAPE=inkscape

     4

     5

for i in `cat icons.svg |grep -o -e '%%[^%]*%%'|sed 's/%//g'` 

     6

do

     7

 if [ $i.png -nt icons.svg ]; then

     8

 	echo "Skip $i"

     9

 else

    10

	rm  -f $i.png

    11

	echo "$INKSCAPE" icons.svg -z -e $i.png -i $i

    12

	"$INKSCAPE" icons.svg -z -e $i.png -i $i

    13

 fi

    14

done

    15