Silence travis

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