Travis with multiple PHP version