Eliminate Travis build.

I like Travis, but maintaining build sequences for two CI systems is
kind of stupid.