Add main-module.php and main-coremodule.php

Both split off main.php, which is finally shrinking to a manageable size.