implemented '==' operator on matrices,
changed implementation of semilinear sets back to pair-of-sets-representation
tried to adapt the cmake-file to compile the cppunit-testcases (but failed..)