Debian copyright file policy 3.9.4