Point travis-ci at HoTT/coq trunk

Now that we've split off a 'stable' branch, I think it makes more sense
to test whether or not master builds with trunk, on the trunk branch.
We also still test against stable, but allow it to fail.
Merge pull request #169 from JasonGross/trunk-travis-ci

Point travis-ci at HoTT/coq trunk