Make the satsolver header usable with C++ (only pool.h and source_solv.h