Various commit gui
Commits performed during the rush week for the second SPLASH paper deadline + now. Contains:
[Arch_info and Ioopt permutation]
- New permutation cache for pinocchio (for Ioopt)
- Correction of Pinocchio cache sizes in Arch_info
- Addition of the Grid5k archi, with extended microkernels
[Search/Tree_search]
- Non-div/div comparison experiment
- Random completion of the strategies, given a fixed list of microkernel
- Parallel tweak to the random completion of the strategies, in order to book parallel iteration at the outermost level
- Added to arithmetic.ml a function that get its list of primer factor
- Added that last feature to python_frontend. Tensorize should have less accidents now.