autogen: Remove remnant of dry_run

The implementation of the `--update-hol-light-bytecode`
switch for `scripts/autogen` still made use of the `dry_run`
parameter which is now no longer needed for the core of
autogen.

Signed-off-by: Hanno Becker <beckphan@amazon.co.uk>

Author: hanno-becker

scripts/autogen

@@ -3027,7 +3027,7 @@ def update_hol_light_bytecode():
     # Update each .ml file
     for obj_name, bytecode in bytecode_dict.items():
         ml_file = "proofs/hol_light/arm/proofs/" + obj_name + ".ml"
-        update_bytecode_in_proof_script(ml_file, bytecode, dry_run)
+        update_bytecode_in_proof_script(ml_file, bytecode)
 
 
 def gen_test_config(config_path, config_spec, default_config_content):