zsh: add an alias to echo public IP address