Prettify redblack.v, and similarize avl.v and redblack.v
Regenerate Ocaml extracts.