Building a GPS time station with a Raspberry Pi 3