Mosaichat: an open source Raspberry Pi HAT based on Septentrio's mosaic-X5 - septentrio-gnss/mosaicHAT