rename World::show to exec, add World::quit and main loop