timesyncd: read server settings from a configuration file Also, allow compiling in a default server list via a configure command line item.