Create README.md

LoTuS-TCG is a plugin for the generation and selection of test cases for functional and statistical tests that accepts as input both probabilistic and non-probabilistic models. The test case selection techniques provided are test purposes, random path and most probable path, and a new selection technique called minimum probability of path in which the tool selects test cases that have probability greater than or equal to a value provided by the user.