Update root1d using oasis2opam
Update optimization1d using oasis2opam
Update archimedes thanks to oasis2opam
Update benchmark thanks to oasis2opam
integration1d v0.4.1 (using oasis2opam)
Merge pull request #601 from Chris00/master

Update some packages using oasis2opam