Use less offensive language WRT Travis.

@juliusv