Replace deprecated sonatype resolver

[thpani]

Update deprecated calls that append Sonatype resolvers in build.sbt.
This fixes the following deprecation warnings when building:

/home/runner/work/apalache/apalache/build.sbt:27: warning: method sonatypeRepo in class ResolverFunctions is deprecated (since 1.7.0): Use sonatypeOssRepos instead e.g. `resolvers ++= Resolver.sonatypeOssRepos("snapshots")`
    Resolver.sonatypeRepo("snapshots"),
             ^
/home/runner/work/apalache/apalache/build.sbt:28: warning: method sonatypeRepo in class ResolverFunctions is deprecated (since 1.7.0): Use sonatypeOssRepos instead e.g. `resolvers ++= Resolver.sonatypeOssRepos("snapshots")`
    Resolver.sonatypeRepo("releases"),
             ^

[codecov-commenter]

Codecov Report

Merging #2612 (bb5ee20) into main (39b23f4) will increase coverage by 0.00%.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2612   +/-   ##
=======================================
  Coverage   78.48%   78.49%           
=======================================
  Files         445      445           
  Lines       15645    15645           
  Branches     2562     2562           
=======================================
+ Hits        12279    12280    +1     
+ Misses       3366     3365    -1     

see 2 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more