added debian packaging files