Multi strategy

This new feature introduce a new file for creating statistic on the matrices generated by the algorithm. It is also more flexible on the strategy used during the algorithm:
Either it completely unfold the symbolic traces to solve them afterwards or it uses the alternating strategy between constraint system and process transition.