Bug#1122833: cinnamon: Stop using gnome-pkg-tools

[Jeremy Bícha]

cinnamon-control-center can also remove this:

--with=gnome
override_dh_gnome_clean:
dh_gnome_Clean --no-control


Thank you,
Jeremy Bícha