Remove unused Xfce files
Remove obsolete xfceutils attribute
Strictly check the arguments to mkOption

And fix various instances of bad arguments.