An extended shell for MongoDB