update version to 1.5.0-DEV

[benlorenz]

to prepare for release 1.4.0

cc: @lgoettgens

includes a small fix for the version update script

[benlorenz]

Antony is looking into the serialization issue. auto-merge disabled for now

[lgoettgens]

Another issue on current master that we should fix:

┌ Oscar
│  WARNING: could not import Oscar.free_show into InjectiveResolutions
└  

https://github.com/oscar-system/Oscar.jl/actions/runs/15297128027/job/43028770753?pr=4926#step:11:254

I'll try to get rid of this once I am back from teaching in 2 hours. (ping @HechtiDerLachs just for your information, no action from your side needed)

PR with fix: #4927

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.86%. Comparing base (16e5a55) to head (7305225).
Report is 3 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4926      +/-   ##
==========================================
- Coverage   84.86%   84.86%   -0.01%     
==========================================
  Files         697      697              
  Lines       93944    93944              
==========================================
- Hits        79728    79721       -7     
- Misses      14216    14223       +7     

see 3 files with indirect coverage changes

🚀 New features to boost your workflow:

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