Add machine-readable debian/copyright

Fixes lintian warning no-debian-copyright