Shorter command to get debian version.

Instead of parsing the relevant fragment out of /etc/issue, read
/etc/debian_version, which contains just that fragment, without any of
the other cruft in /etc/issue.  Still requires post-parsing of the
version, to stop at the first [./] in it, but at least it's terser.