New '1bitrev' sample file format; cmd-line options to specify the format
Support loading ephemeris from RINEX 2 and 3 nav message files; fetch them from a server that's up more