Make it easy to change default theme

You just have to change the `$theme` variable at the top of `inc/install.php`
Add a THEME constant to config.php file, although I think we should think about a new way to manage data/config.php since there is only one useful entry in it.