Merge branch 'maint'
Added CMake variables to customize builds to match Debian package configurations
UHD has man pages now
Made uhd_images_downloader more robust to match Debian's uhd_firmware_installer
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.
gps: use to_ticks in query app to avoid rounding issues
The to_ticks(1.0) is a preferable way to get whole secondsbecause it avoids possible rounding issues since justgetting full seconds does not account for the frac seconds.
gps: added print for pc clock time to query_gpsdo
Also available in: Atom