README.md: add notes to How to compile on Windows

Jud White

2018-03-25 c6ecf1e0420737eafeb99b27b1d716b46a6cbb7a

1
2
3
+++++
val_eq (Val.add (Val.add (r3 PC) Vone) Vone) (Val.add (x2 PC) Vone)
*****