Fix etc/install_coq.sh on OSX
Forgot to ucomment popd
Merge pull request #439 from andrejbauer/master

Fix /etc/install_coq.sh for OSX, merging because this is a technicality.
./autogen.sh