Merge from deprecated branch "memory_pool".
Fixed compiler errors on gcc-4.8.2
Added deprecated version of hazard pointers for reference.
Merge remote-tracking branch 'siemens/development' into development
Merging latest source from benchmarks
Merge branch 'development' into benchmark
Opting for CLOCK_MONOTONIC in base_c/time.c if available
Fixed linkage of PAPI on GNU builds
Fixed compiler- and linker flags for perf/timer
Merge remote-tracking branch 'siemens/development' into benchmark
Fixed compiler warnings on MSVC 12.
Minor type fix.
Merge branch 'development' of https://github.com/fuchsto/embb into development