A set of Python modules to automate the Microsoft Windows GUI