GPS disciplined clock built with Arduino