check_for_interrupt: better (but slower) in threading mode

Experimenting with PIDE I discovered that yield is not sufficient
to have a rescheduling, hence the delay.
more APIs in TQueue and CThread

These are now sufficient to implement PIDE
CoqIDE: on win32 the old interrputer code (SIGINT) is still needed
option to always delegate futures to workers