HoTT/HoTT — pull request #203 by JasonGross (2013-08-27 02:04:59+00:00)
Title: Silence travis

This includes #200, and also fixes the noisiness mentioned by https://github.com/HoTT/HoTT/pull/199#issuecomment-23296261.