Chris Redlitz of The Last Mile describes the thinking behind a program to rehabilitate prisoners — by teaching them to code.