move io-based driver into CoqCompile

support ml extraction of IO primitives
update the Compiler test case to compile (still doesn't run, not sure why).