command line option to check if solvers\model checkers that are used are installed properly
If the component (SMT solver, model checker, Python interpreter, etc.) is installed properly, print it's version.
If not, print warning.
'--check' cmdline option (#10116)
The commit includes the following changes:
- '--check' cmdline option to understand
whether Retrascope dependencies are
properly installed or not;
- external tools are supposed to be set
in Retrascope via env variables only.
Signed-off-by: Sergey Smolov <email@example.com>