Make a Raspberry Pi into a precise NTP server using a GPS unit