Travis-CI: build Debian packages