A 'time'-like utility for Unix that measures peak memory usage