wmllint GUI: fixed a bug on Python 2.7.7 that froze the application on Windows
Replaced the old description for wmllint_gui with the new one for GUI.pyw
wmllint GUI: now the focus follows the mouse pointer, allowing use of the mouse wheel on the disabled Text widget