Introduce shell variables 

We start instructing people to copy-paste lines containing $HOME and $PATH around, but quite a few of the learners started replacing $HOME with their home path as if it was a _placeholder_ rather than a variable. We also end up with some $PATH ordering issues from pyenv and Conda. We should introduce them, especially the relationship between $HOME and ~.