Added first lines of support for sqlite
Added solver_name() to identify solver for database