Added support for alternate leap seconds download sources.

Adam Shapirorequested to merge
adamshapiro0/gpstime:download-alternates into master

As of 2023/10/3, the IETF website no longer appears to be hosting leap-seconds.list (or at least there is an issue temporarily).

Merge request reports