Travis: adding ipopt