GNSS-SDRLIB NAV file format conversion. - View it on GitHub