Modernize bootstrap.

Loses the nice property of deploying without touching the network
(PyPI), but works with the newer Python ecosystem.