Adding debian packaging stuff