Integrating a newer version of Stapler

The primary change is that the thread name update code now lives in a
filter instead of 'Stapler' servlet, so it happens a lot earlier.
Merge commit '19da04619d36b80dcdbc9d69d6ca715b996b2ded'