fix: make spec compile again (#150)

Author: OlivierBBB

spec/_all_spec.tex

@@ -6,6 +6,7 @@
 \usepackage{../pkg/std}
 \usepackage{../pkg/thm_env}
 \usepackage{../pkg/xkeyval_macros/context}
+\usepackage{../pkg/xkeyval_macros/transient}
 \usepackage{../pkg/xkeyval_macros/dom_sub_stamps}
 \usepackage{../pkg/xkeyval_macros/mmu_instructions}
 \usepackage{../pkg/xkeyval_macros/mxp_instructions}