feature 1514: new screen to manage installed themes; activate, deactivate,
delete, set as default.
plugins.class.php was merged back to a state it doesn't manage themes at all.
themes.class.php was created instead, from a duplication of plugins.class.php
and strongly modified then.
feature 1507: the display of available themes is now much more "graphic".