Rename ObjectID to ObjectId.

ObjectID class is exposed to JavaScript, so it is better to follow the mongo
shell's naming convention to avoid confusion.