A small library for reading GPS SEM almanacs