Record time started (in milliseconds) at the very beginning of inc/functions.php, even when $config['debug'] is disabled (because we can't tell, yet). Gets a more accurate time for page generation.