Use the same implementation of deque accross all C benchmarks

[cmnrd]

Currently there are multiple implementations of a deque floating around. There is at least the one implemented in benchmark/test/C/Savina/src/include/ and the one provided by our compiler via files: ["/lib/c/reactor-c/util/deque.h", "/lib/c/reactor-c/util/deque.c"]. There might be more versions hidden in some preamble code. We should decide for one version and use it consistently.