better debian/copyright file, and now GPL-3+