Make code compatible with idris 0.9.9

Changes done:
* O -> Z
* fO -> fZ (yay!)
* Vect a n -> Vect n a

For some reason idris doesn't think main is total anymore, need to investigate.
Some final cleanups: do real forking, ensure running in an IO context