Changed the dynamic solver selection.

    Now the solver module is specified without the extensions
    and it is imported using a typicall python import + the solver class name:

                    module1.module2.solver_class_name
Solver dynamic loading checks inheritance from satsolver.SATSolver