Do not compile coqide with -thread

Coqide compiled with -thread seems to hang for ever at startup under MacOS