Update USE version after release of v7.1.1

[github-actions]

Description

After the release of USE version v7.1.1 it is time to change
the version to a new one. For this, please change the following files:

• ./pom.xml
• ./use-assembly/pom.xml
• ./use-core/pom.xml
• ./use-core/src/main/java/org/tzi/use/config/Options.java
• ./use-gui/pom.xml

[ichxorya]

https://github.com/useocl/use/blob/master/pom.xml, line 10
https://github.com/useocl/use/blob/master/use-assembly/pom.xml, line 8
https://github.com/useocl/use/blob/master/use-core/pom.xml, line 8
https://github.com/useocl/use/blob/master/use-core/src/main/java/org/tzi/use/config/Options.java, line 45 - Note: Line 48 could change 2024 into 2025
https://github.com/useocl/use/blob/master/use-gui/pom.xml, line 8

All checked for v7.1.1. The issue could be closed.

[h-man2]

These "bump version issues" are automatically created after a USE version was released by creating a tag matching the pattern v*.*.*.
See https://github.com/useocl/use/blob/master/.github/workflows/release.yml

Because we don't know what type of changes following SemVer are introduced in the next version, this issue can only be solved short before a new release. Currently the next version would be 7.2.0, because some changes broke compatibility for the existing plugins.