Switch debian packaging to use python3