add cmd exec time to zsh prompt