Auto-load all modules and remove tinycore.php. This way we're more compact.