FPGA code to lock a VCXO to a PPS signal from a GPS