Changed where the numProcs for KStar gets set for a threaded run. Also
changed where the threads are initialized and first executed. Fixed
problem where the slave wcsp computation was not being properly stopped.