[shell] Print execution time of a shell command