Update mongodb to 1.3.7.

The maintainer had pushed two different versions called 1.3.6, so it's a good
idea to avoid that version.