shell-timeit (pypi): Time a shell command
Keywords: time|shell|command