unstable
fixed bug
Merge branch 'master' into Mike
Broke everything
Fixed the priority scheduling and tried to make it work with Richard's effective priority stuff. Passes 4 more tests than before. Will pass alarm-simultaneous if standard priority is used.