Introducing realtime interface to reservations

This adds the basic realtime interface to reservations.  Some fixes are
still needed:

- The message ordering for active reservations needs to be fixed (YKB)
- The message ordering for cycling reservations needs to be verified
- Status messages from the verifier need to be passed up to setres.