User-Agent header enhancements

Add a User-Agent header with version information to all server requests, and make it possible for clients to add their User-Agent info to the header.