Renamed and tweaked travis config