If Anselm Lingnau agrees, switch the license of debian/* from GPL-2+
to GPL-3+, following upstream.
