pktm runs a command (on Linux) and reports its peak memory usage and execution time