Added support for duplicate times in rinex index