Add mpi option to not use infiniband