[michocoq] improve performance of reading Michelson scripts
At least on my machine, this patch greatly improves the performance of calling the parser from within Coq.
At least on my machine, this patch greatly improves the performance of calling the parser from within Coq.