HoTT/HoTT — pull request #283 by JasonGross (2013-12-10 22:28:22+00:00)
Title: 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).