Added the proper mpi library.
Note: whatever mpi library that is used, there must be an $include mpi.h, which
includes mpi.cxx, which defines a namespace MPI, which itself defines various types for MPI.