Use bz2 instead of gzip as the intermediate encoding.

bz2 is available since Python 2.3.
get-pip.py: rebuild

Now we're down to 267K, 202K gzipped.
Merge pull request #897 from g2p/develop

Now using bz2 instead of gzip inside get-pip.py