Maintenance work for the main GitHub Action workflow

[Aire-One]

This is a maintenance work for our main workflow. It aims at standardizing the Actions usages, which simplify a lot the workflow, and will also unblock easier support for Lua55.

The main change is the switch to use Actions leafo/gh-actions-lua and leafo/gh-actions-luarocks to respectively install Lua and Luarocks. I have already introduced the luarocks/gh-actions-lua a few times ago to manage LuaJIT, this work extends its usage for all the Lua versions we test. I switched from the luarocks fork back to the leafo upstream because it got updated and is now the more up-to-date version.

This PR also cleans the env and removes the manual_screens for lua5.4 because I'm not sure what is the additional value it brings over the codecov-lua5.3.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.41%. Comparing base (c104846) to head (1d3adc1).

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4103      +/-   ##
==========================================
- Coverage   90.42%   90.41%   -0.01%     
==========================================
  Files         940      940              
  Lines       60290    60289       -1     
  Branches     1139     1139              
==========================================
- Hits        54516    54510       -6     
- Misses       5268     5271       +3     
- Partials      506      508       +2     

see 2 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.