Make docs for console.time and console.timeEnd more complete

`console.time()` and `console.timeEnd()` are very closely related. It's
useful to reference them both from each other.