[misc] MongoManager: drop unused, potentially expensive default options
[misc] MongoManager: drop unused, potentially expensive default options

All call-sites specify an options object.

sharelatex/sharelatex