update README.md with note on 'DIV'
Merge branch 'dev3' of github.com:chuajiesheng/ocaml-note into dev3
Merge branch 'dev3'