Correction of makeRightMaximal

Correct some minor bugs in ImplicationalSystem.makeRightMaximal
Add test for the previous method
Update ChangeLog
Note : BijectiveComponentTest.testsave is not Windows compliant