Scheduling now works for toy/thread.c. Semaphore names are now stored as C++ strings instead of C strings.