Pin our version of mongodb

We recently reprovisioned our mongo machines, and by a happy accident
upgraded to a more recent version.

This change explicitly controls which version we’re using, so that it if
we add more nodes, they will all be running the  same version until we
choose to upgrade.