OCaml / ocamldoc man pages extension

[Maxence Guesdon]

Hi,

finally, what should I use as extension for the ocamldoc-generated man pages ?
Is .3o ok ? 
Release 3.07 is coming soon, and I'd like to fix this.

friendly,

- Maxence