Add information about command line option

... which can be used with get-pip.py