We need a Jenkins build slave on Mac OS, to build the PyInstaller Mac executable, test it, and upload it to Github.