We have jenkins now, stop killing travis servers