Set a global default User-Agent value via an environment variable.

Names starting with HTTP_ should be avoided in the context of Web app,
hence the rather verbose name `DEFAULT_HTTP_USER_AGENT`.