Merge pull request #896 from g2p/develop

Tweak the install-packer's inner encoding
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.