RDIO with Proof

Please checkout this version of RDIO that runs with Proof.
I've rebased it to the current dev.
The proof example runs for Tutorial3 out of the box,
and with Panda.