This is the python script that, with py2exe, can create an executable file.