HoTT/HoTT — pull request #228 by JasonGross (2013-10-22 01:33:12+00:00)
Title: Don't remove .travis.yml from the autogoo branch

It seems that travis only respects our blacklist if we have a
.travis.yml on the relevant branch (I think). And we don't want to be
compiling this branch, especially without a .travis.yml.