Allen set to take over edtech startup DoubtNut