Various improvements to docs (README.Debian) and build