gps: added print for pc clock time to query_gpsdo
gps: use to_ticks in query app to avoid rounding issues

The to_ticks(1.0) is a preferable way to get whole seconds
because it avoids possible rounding issues since just
getting full seconds does not account for the frac seconds.
Merge branch 'maint'
gps: flush uart buffer before waiting for time

This addresses a bug only on the master branch.
Also turn off the servo sensor, its too long a delay.
We will need to conditionally enable this in a later commit.