wml tools GUI: fixed the WinError 87 that happened on Python 3.4
wml tools GUI: improved credits description for the Tango icons
wml tools GUI: replaced all IntVar() instances used by checkbuttons with BooleanVar()
wml tools GUI: removed the 0 from some IntVar() initializations, because it doesn't do anything