Added a new probility manager in order to allow the use of a probibility based
matching
Merge branch 'master' of https://github.com/Markov-Grammatical-inferencer/shiny-computing-machine