Update ipopt-svn with the changes made to libcoinhsl