Add setup of pyenv.

Unfortunately, figuring out the minimal setup for managing pythong versions was more difficult than expected. Record it for posterity.