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.