remove the WITH_BUILD_IPOPT feature

No-one is using it (even me), and I don't even know if it works. I think that using Ipopt from debian packages/homebrew is the way to go, see #1010