Adds a new CRM lead mining feature that helps sales teams generate potential leads using configurable criteria such as industry, role, seniority, and technology. This can help businesses find prospects more efficiently from within Odoo CRM.

Description of the issue/feature this PR addresses:

Current behavior before PR:

Desired behavior after PR is merged:




--
I confirm I have signed the CLA and read the PR guidelines at www.odoo.com/submit-pr