Fix the missing thread problem.

Simple bug. Since we remove the main thread
and re-add it when we re-enter Felix, during
the run_until_blocked() function, we have to
add the main thread back when we hang the mainline
waiting for the other threads to finish.