Fixes #3640: Move mpiext/example/.ompi_ignore to v1.7

---svn-pre-commit-ignore-below---

r28654 [[BR]]
We want to ignore this MPI extension in the general case -- it's just
an example (and outputs stuff to stdout!).