Install PyPI's protobuf into the Python virtual environment.

There may be a way to use third_party's protobuf (and this
may eventually be necessary) but I haven't yet figured out
how to do it correctly. It can happen later.