Theme system improvement

This is not a big evolution. Just a modification to do without the hard coded list of themes.
The idea is that each theme has a theme.ini file providing its name and requirements (base themes), and maybe in the future (depending on the v2) some other data like theme's settings.