Swap out native mongo extension for a pure PHP port.

This port makes the library more portable, for instance to hhvm.