bash: Function to download get-pip.py