merge r2426 and r2427 from trunk

git-svn-id: https://projects.coin-or.org/svn/Ipopt/stable/3.11@2428 ef2a96d0-92f8-0310-a3c1-cdaa70078a94
update pdf docu

git-svn-id: https://projects.coin-or.org/svn/Ipopt/stable/3.11@2429 ef2a96d0-92f8-0310-a3c1-cdaa70078a94
temporarily committing release candidate

git-svn-id: https://projects.coin-or.org/svn/Ipopt/stable/3.11@2431 ef2a96d0-92f8-0310-a3c1-cdaa70078a94
restoring Ipopt/stable/3.11

git-svn-id: https://projects.coin-or.org/svn/Ipopt/stable/3.11@2433 ef2a96d0-92f8-0310-a3c1-cdaa70078a94
Squashed 'BuildTools/' content from commit 8440abf

git-subtree-dir: BuildTools
git-subtree-split: 8440abf18140b1dd371178db4004623de640f739
Squashed 'ThirdParty/ASL/' content from commit 01f905f

git-subtree-dir: ThirdParty/ASL
git-subtree-split: 01f905fad5135cd140fc2e5f9df2a3f714497dab
Merge commit '4da6656691acee64eda75385076cfbb93c527e31' as 'BuildTools'
Squashed 'ThirdParty/Metis/' content from commit 4ecc202

git-subtree-dir: ThirdParty/Metis
git-subtree-split: 4ecc202e41a87600d47f2b8c7b35e8ab2b092ff6
Merge commit '75da07200e51b161b2381e8bfc272ad818336207' as 'ThirdParty/ASL'
Merge commit 'e1199ddb9eeb46300d428e525e757565448d218b' as 'ThirdParty/Metis'
Squashed 'ThirdParty/HSLold/' content from commit 47baaa5

git-subtree-dir: ThirdParty/HSLold
git-subtree-split: 47baaa55a254ac0f81838cdaccb4b9b7fbfe6500
Squashed 'ThirdParty/HSL/' content from commit 514a81c

git-subtree-dir: ThirdParty/HSL
git-subtree-split: 514a81c21359f7d7942392f8a581cf1b888030fd
Merge commit '4bb99bacafc0daa61a8f17eb0b6243bd16badc1e' as 'ThirdParty/HSLold'
Squashed 'ThirdParty/Blas/' content from commit 7a762dc

git-subtree-dir: ThirdParty/Blas
git-subtree-split: 7a762dc1e0dcb1bed1c17017533bef5f8a2a2911
Merge commit 'a75a440d8453845b93282c1e1e6ef99a6535b061' as 'ThirdParty/HSL'
Squashed 'ThirdParty/Lapack/' content from commit 7a16e19

git-subtree-dir: ThirdParty/Lapack
git-subtree-split: 7a16e1928bdd50b931848260d9af78a7c7137d1d
Merge commit 'ea40191615d43f866af26960439924ea73f13c52' as 'ThirdParty/Blas'
Merge commit 'e8e3103f9011ea3427b97c811ec2ef940fc9cf50' as 'ThirdParty/Lapack'
Squashed 'ThirdParty/Mumps/' content from commit cd96474

git-subtree-dir: ThirdParty/Mumps
git-subtree-split: cd96474d77dc1a6e558f053351e72d4df83e6f2b
Merge commit '39074710849a76fd1a3cd8360042393cce6baed1' as 'ThirdParty/Mumps'