Use Python scheduler rather than the home-made one
Fix threaded run of the new event loop
Add function to schedule later
Add race example to demo