Datatool: Enable Exporting of ELF

[MdTeach]

Description

• Enables datatool to generate and export elf to the specified dir

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature/Enhancement (non-breaking change which adds functionality or enhances an existing one)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Refactor
• New or updated tests
• Dependency Update

Notes to Reviewers

Checklist

• I have performed a self-review of my code.
• I have commented my code where necessary.
• I have updated the documentation if needed.
• My changes do not introduce new warnings.
• I have added tests that prove my changes are effective or that my feature works.
• New and existing tests pass with my changes.

Related Issues

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 49 lines in your changes missing coverage. Please review.

Project coverage is 55.94%. Comparing base (6ced1e8) to head (632dcaf).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
provers/sp1/src/lib.rs	0.00%	38 Missing ⚠️
bin/datatool/src/util.rs	0.00%	11 Missing ⚠️

@@            Coverage Diff             @@
##             main     #638      +/-   ##
==========================================
- Coverage   56.04%   55.94%   -0.10%     
==========================================
  Files         297      298       +1     
  Lines       32804    32853      +49     
==========================================
- Hits        18384    18379       -5     
- Misses      14420    14474      +54     

Files with missing lines	Coverage Δ
bin/datatool/src/args.rs	0.00% <ø> (ø)
bin/datatool/src/util.rs	0.00% <0.00%> (ø)
provers/sp1/src/lib.rs	0.00% <0.00%> (ø)

... and 4 files with indirect coverage changes

[github-actions]

Commit: d232a7f

SP1 Performance Test Results

program	cycles	success
BTC_BLOCKSPACE	30,357,713	✅
EL_BLOCK	101,655	✅
CL_BLOCK	57,537	✅
L1_BATCH	30,387,722	✅
L2_BATCH	5,473	✅
CHECKPOINT	15,255	✅