Update README.md

put http://build.leanprover.net
[skip ci]