Added HS071 example from Ipopt docs