[tor-commits] [tlsdate/master] Make user-agent a configuration option