A GPS logger for Raspberry Pi