[SCIP] Missing header files after install

[Robert Schwarz]

Dear all,

On 2017-29-21, hendel at zib.de wrote:
> Seemingly, only few people use the "make install" target of SCIP. For
> you, it is safe to copy the missing headers manually.

There is a package of the SCIPOptSuite for the Arch Linux distribution,
that had to deal with the same issue. Maybe the installation script can
be of help for users or developers:

https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=scipoptsuite

Best, Robert