openmpi: updated to 1.8.4
Merge pull request #789 from hanspolo/openmpi

openmpi: updated to 1.8.4