docs for get-pip.py options

this will cherry pick into master 2 docs commits that were added to develop months back.