Merge pull request #600 from Chris00/master

Add oasis2opam v0.1
Update root1d using oasis2opam
Update optimization1d using oasis2opam
Update archimedes thanks to oasis2opam
Update benchmark thanks to oasis2opam