Add a small 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).