v3.5.1

This release removes a long standing side-effect in the servlet instrumentation: When a user sets a log field, that is auto-filled from some http header, e.g. tenant_id, the user-provided value may get overwritten or deleted during generation of the request log. This behaviour is now removed. Http headers are only propagated to log fields in the AddHttpHeadersToLogContextFilter, which is part of RequestLoggingFilter and StaticLevelRequestLoggingFilter.

Detailed changes are:

• #117 Fix cases where http header to log field propagation overwrites user-provided content after request handling
• #118 Removal of Version class, that was not referenced in the code base.