Debian packaging

Change-Id: I764e7be90e4017bb52f4abcd6f0b575db42dd721