Debian Stretch's Python version is still too old for some of the
projects we need to build under it.
So, since we needed to review the Python options we use anyway, we
decided also to update it to a much more recent version.