Revert "Merge branch 'master' of github.com:CeON/CERMINE"

This reverts commit f9d198c482ab2ba4e785fe39f509d9206ca9cf4e, reversing
changes made to 708e1cca98e3757b4fe1c690b796618b363ddd20.