Pylfit

- Refactoring of dataset api
- Update ACEDIA for pylfit api
- Added multi-thread support for GULA/PRIDE/Synchronizer/ACEDIA/probalizer
- Added heuristic for PRIDE regarding coverage

MLJ20 Experiements version
- Correct MLJ scripts

- Corrected WDMVLP.fit verbose option
- Correct MLJ20 evaluation scripts to use proper option "brute-force"

- Improved user API
- Added extend method to DMVLP and WDMVLP to search for new rule when a feature state to predict from is not already matched by the model rules.
- Added BruteForce algorithm for scalability comparaison purpose with GULA
- Added explanation scoring functions in pylfit.postprocessing, evaluating a model predictions and explanation versus expected perfect model
- Extended MLJ20 evaluation with baselines and new metrics
- Regression test coverage 99% of user API accessible code

First version of the pylfit API.
- preprocessing: tabular data (list of pairs (list of string, list of string)) and csv format
- datasets: StateTransitions
- models: DMVLP/CDMVLP/WDMVLP
- algo: GULA/PRIDE/Synchronizer
- semantics: synchronous/asynchronous/general/constrained Synchronous