Updated project structure

- 'Cabalized' feature-modeling;
- Fixed dependencies (imports and functions) to work with the latest
  Haskell platform structure.
Deleted unused files.
Updated README.md