Add image of current travis build status to readme

This way we'll get to see the current build status from the
homepage (https://github.com/HoTT/HoTT).
Merge pull request #283 from JasonGross/readme-build-status

Add image of current travis build status to readme
links HoTTBook, Ch. 2.10-15 -> library