added benchmark-exec-time.sh
solves those "which is faster, zcat|grep or zgrep?" type questions!
(zgrep is slower)