Try another efnet server in travis config