add semaphore to control the number of CBMC processes running concurrently.
--threads flag added.