Easier Theme Management

More of the install now done automatically: no need to specify the
manifest.php file, it is found automatically.