Adding debian packaging informations