debian files for xfce4-whiskermenu-plugin