Simplify the Michelson interpreter

This removes the stack GADT in script_interpreter; the type 'a stack is replaced by 'a everywhere.

This does not change the code's semantics, just simplify it.