Micrometer metrics adapter for REST server requests: active-request gauge and per-request timer