Doppler (and velocity) from TDCP

Adding functions to calculate Doppler (and hence velocity) from the much more accurate time difference of carrier phase rather than the instantaneous Doppler from the tracking loops.

Also cleaned up some unused fields in navigation_measurement_t.