Read RTCM 1013 message to get full date

[johansen]

The RTCM RTK message time tags are time of week (GPS) and time of day (Glonass). When reading logged data offline, the 1013 message can be read to get full date for the RINEX header. The attached patch implements reading of the 1013 message in NO_RTCM3_MAIN mode. No change is made if NO_RTCM3_MAIN is undefined, and the header records created in rtcm3torinex.c are unchanged.

[stoecker]

In r2501 - Hmm, autoclosing tickets by SVN comments does not yet work. Your other two tickets will have to wait until I find out why :-)