Add prototype support for other, strain_local resources.

The strain_local resources can be used to get unique IDs for resources that would, in a serial execution, only be used once in the call chain. This is a first prototype implementation and needs further tesitng. The current implementation adds linear overhead to each steal proportional to the number of used  resources. We might be able to reduce it, but for a first version it is fine.
3 jobs from master in 3 minutes 56 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #3833
build_cmake

00:59

 
  Test
passed #3834
run_tests

01:00

 
  Sanitizer
passed #3835
run_address_sanitizer

01:57