IBM adds to software stable with Ilog buy