Merge pull request #53 from JeanFrancoisViaud/master

Implicational System
Adding uml graph for ImplicationalSystem
Merge pull request #54 from chdemko/master

Adding uml graph for ImplicationalSystem
Correction of makeRightMaximal

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