Update README.md

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

move triggers from 1st conf. to 4th conf to balance loads
[skip ci]
Use fullpath in #include directives, add missing STL headers
Use fullpath in #include directives, add missing STL headers