#4 Improved desktop switcher interface

[Fabio Massaioli]

The desktop switcher interface must support more than four desktop
and include a configuration page.
The size of the preview boxes will be choosen by the user in the configuration page.