Cram: Add command level timing information#13092

rgrinberg merged 2 commits intoocaml:mainocaml/dune:mainfrom

rgrinberg:cram-trace-bash-commandsrgrinberg/jbuilder:cram-trace-bash-commandsCopy head branch name to clipboard