add debian packaging files