Benchmarks: Make semaphore map immutable

The mapping of competitor names to semaphores never changes. It is
better to make it an immutable map, which is what this commit does.
Benchmarks: Change comments about headers/context

Changed comment about propagating headers and context to be more
general.