Build Python3+Jupyter Notebook environment with pyenv on WSL

Since the version of Ubuntu in WSL (Windows Subsystem for Linux) was getting old at 16, we installed a new Ubuntu with version 18. I also re-set up Python3 + Jupyter Notebook accordingly, but I ran into a few snags along the way, so here are some notes on building a Python environment for future re…