Report time stats after long commands in zsh