Added debian packaging info