[FEA] Diving for integer feasible solutions

[anandhkb]

• Implement diving in a separate thread(s) on the CPU
• Share pseudo costs across threads
• Share the MIP tree across threads

[anandhkb]

@afender @chris-maes @akifcorduk for viz

[chris-maes]

Implemented in #305