Generates what is in src/Proto_alpha/Simulations/Context.v for the description of the store.
src/Proto_alpha/Simulations/Context.v