David Murphy
Remove vain attempts at fixing CI mongodb issues.

See https://github.com/travis-ci/travis-ci/issues/1967