Our baseline is Debian stable (Jessie) where possible.  The only
dependency that cannot be satisfied is sympy; Debian stable does not
have a Python 3 package for this.  We set the required sympy version to
that present in Ubuntu 16.04 LTS.