Travis: ignore traits on php5.3