Add --prefix-commands option

[gdevenyi]

I often want to wrap commands with /usr/bin/time -v to do benchmarking, it would convenient if I could just insert it at the front of every command