Add optional --timing parameter to retrieve.php to show timings of the retrieval process in case of unexpected bad performance