Added debian packaging information