a tool for conversion between globalsat formats and GPS standard formats