[Ipopt] Ipopt maintenance release 3.12.5

[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.

Here is a list of changes:
- changed fptr from long to void*: the Fortran side needs to make sure
   that it uses a big enough integer type to store a C pointer, thus
   void* can be used on the C side
- added additional second-order-correction method, which can be
   selected by setting the new option soc_method to 1 (by Wei Wan)
- added parameter allow_clobber with default value false to
   IpoptApplication::Initialize and OptionsList::ReadFromStream

The source tarballs should be available tomorrow.

Enjoy,
Stefan