MongoDB: updated mongodb and pymongo versions, various other enhancements and cleanups