added debian packaging