Add support for the ZSH shell to the "Update Shell Profile" script

on MacOSX.

Patch by Sylvain Mora, issue #9701.