Adding filter_deletes to crash_tests run in jenkins

Summary: filter_deletes options introduced in db_stress makes it drop Deletes on key if KeyMayExist(key) returns false on the key. code change was simple and tested so not wasting reviewer's time.

Test Plan: maek crash_test; python tools/db_crashtest[1|2].py

CC: dhruba, vamsi

Differential Revision: https://reviews.facebook.net/D11769

tools/db_crashtest.py

@@ -79,7 +79,8 @@ def main(argv):
                           ' --target_file_size_multiplier=2 ' + \
                           ' --max_write_buffer_number=3 ' + \
                           ' --max_background_compactions=20 ' + \
-                          ' --max_bytes_for_level_base=10485760'
+                          ' --max_bytes_for_level_base=10485760 ' + \
+                          ' --filter_deletes=' + str(random.randint(0, 1))
         killtime = time.time() + interval
         child = subprocess.Popen(['./db_stress \
                         --test_batches_snapshots=1 \

tools/db_crashtest2.py

@@ -84,7 +84,8 @@ def main(argv):
                           ' --target_file_size_multiplier=2 ' + \
                           ' --max_write_buffer_number=3 ' + \
                           ' --max_background_compactions=20 ' + \
-                          ' --max_bytes_for_level_base=10485760'
+                          ' --max_bytes_for_level_base=10485760 ' + \
+                          ' --filter_deletes=' + str(random.randint(0, 1))
         print ("Running db_stress with additional options=\n"
                + additional_opts + "\n")