Python 3 IDE: Add F2 key as shortcut for saving and interpreting