Europe's veteran Mars orbiter gets upgrade to key instrument for seeking water