Modify real_world_ocaml/appendix_A_installation.md's mode