Update 'debian/copyright' file

* Merge branch 'debian' into debian-develop
* Update Debian's copyright notice and switch license to GPLv3