bashrc: use openmpi module at startup on sara.nl machines