A tiny script for deploying the latest version of PyCharm Professional Edition