dnsfixmac.sh: small script that resets DNS cache on MacOSx