Merge pull request #84 from chdemko/master

Implement abstract reader pattern for Context and ImplicationalSystem
Use new methods for saving and parsing