Change travis versions of php