Allow infix constructors with custom priority and associativity.

Follow the same rule than standard operators, but start with ":".
Fix pretty printers for infix constructors.
Update ocamldoc's html backend with infix constructors.