Update coding style doc. New rule for pattern matchings. Specific command to display OCaml code instead of verbatim. Still remains to clarify first section (naming).