Update debian package infrastructure for new 3.x versioning scheme.
Further tweak asdf.texinfo.
3.0.1: tweak version-satisfies for compatibility with quicklisp.

Also, better document the entire version business.
This is an incompatible change, but the previous behavior was not documented,
wasn't fully working until rather recently and looks like it wasn't relied upon,
so this should be OK.