Remove extraneous dots in Debian versions

Debian version strings let you transition from numeric tags to alpha
tags (and vice versa) without needing an intervening dot.  So lets take
advantage of that!