Replaced travis-ping with travis-ci.

Lots of stuff was wrong with previous pushes. This should be better.