In a restive corner of Pakistan, a Kenyan startup will teach thousands of young people to code