Tweak formatting.
Add command execution time to zsh prompt.