newRelease2.0.0

• includes branch 95: test client, refactor model quality check, test cases generator, reachability graph generator and simulator
• language changes (where, component constraints, params)
• Improved simulation and Test client (with OUT/INOUT parameters)
• Update the user guide and web site example