Build History for branch/master

Support for -package and -dontlink in linking of output files (#38) * Support -linkpkg, -package and -dontlink in compile command * Remove default zarith linking in compile * optimization option * Update malfunction.opam Remove unnecessary version field --------- Co-authored-by: Yannick Forster <yannick.forster@inria.fr>

Fix out of bounds vector write in `malfunction_interpreter.ml` (#37) The condition `if 0 <= i && i <= Array.length vals then` for `Mvecset` lets the interpreter crash on `(let ($x (makevec 0 0)) (store $x 0 0))` with `Fatal error: exception Invalid_argument("index out of bounds")` rather than report `Undefined behaviour: index out of bounds: 0`. The check is correct for `Mvecget`. Discovered by @tabareau