Add a "User-Agent" header to the HTTP traffic generated by fossil. The user-agent string is "Fossil/$UUID".