Fix bug for CoqIDE in OS X

It is reported that when you are opening coqide in OS X, just an error message saying "Failed to load coqtop." pops up.
Click "No", and then find /Applications/CoqIDE_8.4pl5.app/Contents/Resources/bin/coqtop and open for once.
Goto CoqIDE > Preferences > Externals. And then change coqtop into /Applications/CoqIDE_8.4pl5.app/Contents/Resources/bin/coqtop.

This solved my problem, and I hope it will solve your problem, too. Jeehoon

snu-sf-class / pl2015spring