RavenDB-1609 Provide a way to get the total server time in lazy requests