Install pipenv via pip. (#1741)
Install pipenv via pip. (#1741)

Fixes #1740
google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz,google/clusterfuzz