Function `print_merged_doctests_times`

fn print_merged_doctests_times(args: &[String], total_time: f64, compilation_time: f64)

Public API used by rustdoc to display the total and compilation times in the expected format.