Add solver Paradiso as backend for KKT Interface

[freemin7]

Paradiso is a commercial solver that is considered to quiet fast. JuliaSparse seems to have the most suited interface. Overall 3 operations need to be implemented to satisfy the KKT interface: setup, factorize, and solve.

[mtanneau]

Again for pointers:

• COSMO
• MadNLP
• Hypatia