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.