Parallel random algo debugged
- Bug corrected in the parallel random selection (with parallel loops reserved for the outermost level). This bug was reported by Hugo and debugged by Guillaume.
(there is a start of implementation for Ioopt usage in micro_search.ml, but it is currently compiler typing friendly, and should be completed in a few days)