New MongoDB dev release 2.5.4

This version just came out today, replacing 2.5.3.