debian packaging update: include LICENSE (fixes #8712)