fixes Location#compareTo(Location)

[BookWood7th]

Related Issue

This pull request addresses #3518.

Intended Change

Adds explicit nullsLast comparators using the natural order of URI and Position when comparing locations.
This avoids a NullPointerException, when fileUri field is null in one of the locations being compared

Type of pull request

• Bug fix (non-breaking change which fixes an issue)
• Refactoring (behaviour should not change or only minimally change)
• There are changes to the (Java) code

Ensuring quality

• I made sure that introduced/changed code is well documented (javadoc and inline comments).
• I have tested the feature as follows: KeY test suite

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 2 lines in your changes missing coverage. Please review.

Project coverage is 38.15%. Comparing base (3ebff5e) to head (1862241).
Report is 13 commits behind head on main.

Files with missing lines	Patch %	Lines
...src/main/java/de/uka/ilkd/key/parser/Location.java	0.00%	2 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #3519      +/-   ##
============================================
- Coverage     38.17%   38.15%   -0.02%     
+ Complexity    17226    17220       -6     
============================================
  Files          2109     2109              
  Lines        127630   127625       -5     
  Branches      21461    21461              
============================================
- Hits          48723    48698      -25     
- Misses        72917    72935      +18     
- Partials       5990     5992       +2     

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

[BookWood7th]

There appears to be a test that fails unexpectedly sometimes
de.uka.ilkd.key.rule.merge.MergeRuleTests#testLoadClosedGcdProofWithMergePointStatements().
I believe @WolframPfeifer and I witnessed this test failing before when conducting windows unit tests on #3514, then not failing when running them again.