GNU Time runs another program, then displays information about the
resources used by that program.
