自动计算并折叠展示步骤[#87]

上面通过Scheme保存了计算报告。命令接口也能自动执行同样的求导，并默认把规则步骤放入可展开的说明块：

这里的结果由两个pass计算得到；页面先显示最终MathML，打开“Show steps”可逐步查看证书。这个折叠仅影响阅读展示，不会隐藏或省略计算步骤。