Make dependency on execinfo.h optional

That's what I get for showing Walberla to people running obscure Linux distributions... Apparently execinfo.h is not guaranteed to be included with all implementations of the C standard library.