Tweak the DEBIAN copyright file

Adhere to http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/