Set default CMake options used by Storm

[volkm]

Sets the CMake options -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON -DTHREAD_SAFE=ON as default.

[tquatmann]

Since CLN and GINAC still don't appear to work on apple silicon, can we set this default conditionally?

[volkm]

Thanks @tquatmann and @sjunges for indicating the issue on Apple Silicon. I added a check for it.
Can somebody of you test it on Apple Silicon for me?

[tquatmann]

I just tested, it works!
Both carl and storm now work with default cmake options (for me)
I approve merging.