Added debian packaging stuff