remove cinnamon target

RIP Cinnamon target, 2013-2014. Perhaps you'll make a comeback one day, when we can get decent packages for you.

Closes #812