The BBC is giving schools a million free micro:bit computers. It hopes it will kick-start a coding revival. This is the inside story