Give a warning when compiling stormpy with a different compiler then storm.

[lukovdm]

Combining clang and gcc when compiling storm and stormpy can lead to weird linking issues. It would be good to give a warning to the user for when compiler mismatches lead to weird linking issues.

[volkm]

Thanks for the suggestion.
I am not sure whether we can see in stormpy which compiler was used for Storm.

But maybe we could set up some test configurations with different compilers to find and fix such issues.

[sjunges]

I think ABI-wise, it is good to have these checks. A first step would likely be to put the compiler used for storm into https://github.com/moves-rwth/storm/blob/390e45cfc247fbce262041d1193cc82e04d418d2/src/storm-config.h.in#L32