Remove Travis. Woo!
Use Jenkins' build status, not Travis'.

[finishes #80305712]