Merge pull request #316 from The-Compiler/patch-1

Make sure a Python 2 pip is installed

python-setup/install_tools.sh

@@ -10,6 +10,10 @@ set -e
 # subsequent actions in the current job, and not the current action.
 export PATH="$HOME/.local/bin:$PATH"
 
+# The Ubuntu 20.04 GHA environment does not come with a Python 2 pip
+curl https://bootstrap.pypa.io/get-pip.py --output get-pip.py
+python2 get-pip.py
+
 python2 -m pip install --user --upgrade pip setuptools wheel
 python3 -m pip install --user --upgrade pip setuptools wheel