Vendor SCIP header files

[lovasoa]

Great, this will make building the crate much more convenient. Maybe the headers could be added as a git submodule of the official scip repo instead of copy-pasted ?

[mmghannam]

But then that would mean that everyone who downloads the crate will get the .c files and all the others files too, right?

[lovasoa]

Yes. Is that heavy ?

[mmghannam]

Yup, SCIP's repo alone (without the lp solver SoPlex and the presolver Papilo) is 62 MB.

[lovasoa]

Ok, good this way, then