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.
Wrap to 80 colums, but otherwise looks much improved.