To compile:

 1) replace the nlibrary directory in the source code of Matita 0.5.9 with the
    current directory
 2) run
     matitadep.opt && matitac.opt


To run an Intel Hex file:
 1) use ToMatita.native to generate a Test.ma file from a Test.hex file
    (see the README in the O'Caml part of the deliverable)
 2) replace the Test.ma file in this directory with the generated one
 3) run matita.opt DoTest.ma to run the program. Stop execution at
    (* STOP HERE TO SEE THE TRACE *) to look at the instruction trace.
    You can change the number of steps in the trace by changing the "step"
    variable at the beginning of the file.