Add aten_prod function

[xiaowuhu]

The backward routine need aten_prod.dim_int function.
Todo: add test case for this function.

[codecov]

Codecov Report

Attention: Patch coverage is 66.66667% with 1 line in your changes missing coverage. Please review.

Project coverage is 74.65%. Comparing base (c74609c) to head (931059f).

Files	Patch %	Lines
onnxscript/function_libs/torch_lib/ops/core.py	66.66%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1724      +/-   ##
==========================================
- Coverage   74.69%   74.65%   -0.05%     
==========================================
  Files         242      242              
  Lines       25861    25862       +1     
  Branches     4660     4661       +1     
==========================================
- Hits        19318    19308      -10     
- Misses       5674     5683       +9     
- Partials      869      871       +2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[github-actions]

Test Results

     24 files  ±     0      24 suites  ±0   3h 6m 15s ⏱️ + 3m 25s
  8 359 tests  -  2 163   6 868 ✅  - 1 731    1 490 💤  -    432  0 ❌  - 1  1 🔥 +1 
469 779 runs  +17 565  98 083 ✅ +2 564  371 695 💤 +15 001  0 ❌  - 1  1 🔥 +1 

For more details on these errors, see this check.

Results for commit 9de26dc. ± Comparison against base commit d588d2c.

This pull request removes 2163 tests.

onnxscript._internal.analysis_test.TestAssignedVarAnalysis ‑ test_basic_defs
onnxscript._internal.analysis_test.TestAssignedVarAnalysis ‑ test_doc_string
onnxscript._internal.analysis_test.TestAssignedVarAnalysis ‑ test_if_defs
onnxscript._internal.analysis_test.TestAssignedVarAnalysis ‑ test_if_loop_defs
onnxscript._internal.analysis_test.TestAssignedVarAnalysis ‑ test_loop_defs
onnxscript._internal.analysis_test.TestExposedUses ‑ test_basic
onnxscript._internal.analysis_test.TestExposedUses ‑ test_called_function
onnxscript._internal.analysis_test.TestExposedUses ‑ test_doc_string
onnxscript._internal.analysis_test.TestExposedUses ‑ test_for_loop
onnxscript._internal.analysis_test.TestExposedUses ‑ test_if
…

♻️ This comment has been updated with latest results.