The working-class hero of Bletchley Park you didn’t see in the movies