Trace mapping algorithm for section 4.

Build sequence:
  opam install ocamlbuild ounit qcheck
  chmod +x ./build
  ./build

This will create two files: "toplevel" and "tests.native".

You can run "./tests.native" to execute tests on randomly generated
traces.

You can run "./toplevel" to enter an interactive toplevel and test the
functions by yourself.