Inlining Spawn.kill_if in the one place were it was actually used, thus
removing the need of thread creation in the interface.
Adding a small lightweight thread library.
STM in LWT.