Packaging work for debian

build.sh builds a package automatically; suitable for inclusion in a Jenkins job.