Open MLIR Meeting 11/2/2023: Proposal for a MPI Dialect

[AntonLydike]

Thanks everyone again for the interest and all the good feedback! I’ve since written an RFC with much more information: [RFC] `MPI` Dialect