Hello Guix,

This is a patch which updates Ipopt to the latest version.  Since the source tarball is not on the usual COIN-OR servers, I have adjusted so it pulls the release from the from Github repo.

(I'm not sure why Ipopt requires lapack instead of supporting also OpenBLAS.  Will investigate.)

Best regards,
Eric