Mdx 0.3.1

CHANGES:

• Do not add opam-provided packages into pin-depends and duniverse
  directories anymore, thus stop pulling packages that should be installed via
  Opam (#302, @Leonidas-from-XIV)