Fixed PHP-1091: Allow NumberLong numbers on 32-bit platforms if the number fits in the 32-bit int range
Merged pull request #695
Merge branch 'v1.5'
Make cursor info() work on 32bit platforms.

We need to always force long as object for 32bit platforms when calling
->info(), otherwise we can not represent the cursor ID reliably.
Split test into 32bit and 64bit variant.
This test still used old MongoCursorCommand semantics.

Travis and Jenkins never ran this so didn't pick it up. Apparently, I hadn't
tested with 32bit either before.
Merged pull request #696
Merge branch 'v1.5'
Fixed PHP-1095: Min server version check should use GTE comparison.
Merged pull request #697
Merge branch 'v1.5'
BUMP 1.5.2
Back to dev.
Merge branch 'v1.5'
Fixed PHP-1096: PHP crashes due to null pointer dereference on shutdown when JSON extension is not present
Merged pull request #698
Merge branch 'v1.5'
Fixed PHP-1052: Replace JSON encoding of stream notifications with standard PHP serialize encoding.
Git rid of it in the config files too.
Merged pull request #699