Simplify debian/ubuntu download instructions

Mainly by Christoph Berg, with some cleanups from me.
Add header as required by the w3c validator these days