Arvind Krishna’s elevation at IBM may be India’s gain, but it’s a loss for gender equality