Request update in documents

[Yi-Ping Pan]

I have stepped into this issue
riscv/sail-riscv#254

The marked place should be higher than OCaml 4.08