Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log.
Updated the work log: switched the devenv work to a new issue.

Finally opened a separate issue for this.
Resolves #35: Created a new devenv setup script.

This script is in Python, rather than Bash (which the previous devenv
scripts used). Mostly just for fun, really. That said: the script is
quite a bit easier to maintain now; Python is a good choice for it.