packaging; issue #251: Add debian packaging