Implement the import of conflicts to a database.
Add a configuration variable for CUDF export.

CUDF_SOLVER is a new configuration option to specify the using of
CUDF solver for packages manipulations. At the moment, this variable
is boolean, however, in further it may be turned to another type
including a path to an external solver.