Update _empty_like_pair_orderK for support arrays of different shapes

[vlad-perevezentsev]

This PR solves #1222.

Now _empty_like_pair_orderK takes a new res_shape parameter to check if the shape of the resulting array has changed after broadcasting. If the resulting array shape is not equal the shape of the input arrays, dpt.empty will be called instead of dpt.empty_like.

Also this PR updates the logic for stride input arrays in _empty_like_pair_orderK for cases of different stride list lengths. The previous implementation expected st1 and st2 to have the same stride list length and always used the X1 array shape for the resulting array.

Added tests only for test_add. This is enough to check for new changes and to reduce the number of test lines.

• Have you provided a meaningful PR description?
• Have you added a test, reproducer or referred to an issue with a reproducer?
• Have you tested your changes locally for CPU and GPU devices?
• Have you made sure that new changes do not introduce compiler warnings?
• Have you checked performance impact of proposed changes?
• If this PR is a work in progress, are you opening the PR as a draft?

[coveralls]

coverage: 84.054% (+0.02%) from 84.035% when pulling c46866b on vlad-perevezentsev:fix_binaryelementwisefunc into 1596a13 on IntelPython:master.

[ndgrigorian]

LGTM, thank you @vlad-perevezentsev!

[oleksandr-pavlyk]

Please check the coverall report to find out why the coverage went down by that much and add tests.

[ndgrigorian]

The nightly build failure is unrelated to this PR, so I'm going to go ahead and approve it.

[github-actions]

Array API standard conformance tests for dpctl=0.14.3dev3=py310h7bf5fec_14 ran successfully.
Passed: 321
Failed: 679
Skipped: 119