Add "time -v".

This shows the other fields in getrusage. I've chosen to only show the
ones actually maintained by Linux.
1 file changed