Add debian packaging files