command line option to check if solvers\model checkers that are used are installed properly
Published in build:
If the component (SMT solver, model checker, Python interpreter, etc.) is installed properly, print it's version.
If not, print warning.