A cluster manager for MongoDB