SERVER-15396 added --repair option to mongo shim