git subtree add --squash --prefix Ipopt https://github.com/coin-or/Ipopt.git stable/3.12
