[rustdoc] Display total time and compilation time of merged doctests#144308

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:merged-doctest-timesGuillaumeGomez/rust:merged-doctest-timesCopy head branch name to clipboard