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>