RequestCorrelator: done() is slow

RequestCorrelator.done(Request) is slow because we have to do a linear search through the values of the requests hashmap.
On Jan 8 2016, I removed Request.req_id to save memory, but now it looks like I need to add it back.
Ref: https://github.com/belaban/JGroups/pull/277