Add firstSslTime metric to devtools.inc.php