Odoc_driver_lib.CompileSourceUse partial to reuse the output of a previous call to compile. Useful in the voodoo context.
output_dir is the directory for odoc file, linked_dir is the one for odocl files (defaulting to output_dir when absent).