Measuring Systematic Generalization in Neural Proof Generation with Transformers