Add Debian packaging for v1.3
