Module extraction

Require Import interpreter ExtrOcamlBasic ExtrOcamlString architectures.

Extraction Blacklist list.
Extraction "parser/Extracted.ml"
  interpreter.interpreter_all_eval
  interpreter.interpreter_rand_eval
  interpreter.interpreter_initial_eval
  ilp32 llp64 lp64.