[4.0] Use tojson instead of JSON.stringify in disk/repair_collection_failure.js

Something about using JSON.stringify in repair_collection_failure.js does not work on Windows, but tojson() works correctly.