Use dune for vendoring

Currently, opam is used for vendoring. That's okay but it's better to use Dune for this purpose for reasons described in this article. It also makes it much easier to depend on the repo because it prevents build systems from being confused about where to find any of the vendors (since there's nothing indicating that they're in the vendors folder).