[Ipopt] Ipopt maintenance release 3.12.7

[Stefan Vigerske]

Hi,

I just created a new Ipopt maintenance release.
If you were using a recent Ipopt version successfully, then there is no 
need to update.
If updating an existing checkout/download of Ipopt, you may have to 
rerun get.Mumps.

Here is a list of changes:
- removed compiler flag -pedantic-errors to avoid problems with some
   configure tests when using recent GCC versions
- fixed rare bug in handling variable/constraint names in AmplTNLP
   (by G. Hackebeil) [r2673]
- the get.Mumps script in ThirdParty/Mumps now renames libseq/mpi.h to
   libseq/mumps_mpi.h to avoid conflicts when building in a MPI
   environment (by T. Ralphs)

The source tarballs should be available tomorrow.

Enjoy,
Stefan