zshrc: get rid of custom time function, embrace zsh one