Fix /etc/install_coq.sh for OSX, close #438

It turns out that `cd` on my OSX prints out the directory it goes to, so `$DIR` ended up having two copies of the same directory.