debian/copyright: update formatting and copyright years.