Add member transition matrix to bisimulation

[volkm]

As preparation for the CTMC change from rate matrix to probability matrix, I saw that the bisimulation needs a rate matrix. This PR uses adds a members transitionMatrix such that both probability and rate matrix could be used.

Also cleaned up the pragmas and includes in storm/storage/bisimulation.

[sjunges]

Doesnt this cause a needless copy for DTMCs etc?

[volkm]

Yes, this does indeed copy the transition matrix. We do a copy for the backwardTransition already, so I thought that it might not be so urgent. But I see that we should try to avoid it.
I will check whether we can make it a reference or only use it for CTMCs.

[volkm]

Using const references did not work, so I will try to make specialized versions for CTMC.

[volkm]

I used templated functions to add specific behavior for the CTMC bisimulation (without the need for the rate matrix).

Interestingly, the newly added CTMC bisimulation tests yields different results on Mac and Linux. I will investigate it further.