Provably Stable Interpretable Encodings of Context Free Grammars in RNNs with a Differentiable Stack