Support for maven plugins (extensions)

[hohwille]

As a IDEasy user, I want to have the ability to define extensions that get installed automatically so that I can make use of advanced features in maven.

Examples for such plugins/extensions:

• maven-notifier - downloads
• maven-profiler - downloads

So just like our IDEs can be enhanced with plugins, we should implement the same for maven:

• Honor *.properties files for maven plugins (see story Ability to define plugins in user config #94)
• Add a post-installation to Mvn commandlet that downloads all active plugins and drops them into the $MAVEN_HOME/lib/ext folder.

Please note that I can not currently find a way to to add plugins to maven externally without manipulating the maven installation. However, for simplicity we will not consider these plugins as project driven but rather user-driven.
Therefore

Here an example for maven-notifier.properties:

groupId=fr.jcgay.maven
artifactId=maven-notifier
#version=2.1.2 #if omitted, use latest
#url=https://repo1.maven.org/maven2 #if omitted use maven-central
active=true #if omitted, use true

This story is related to #10 (and #94). It should be considered to create an abstract base class for plugin based commandlets:

• PluginBasedToolCommandlet extends LocalToolCommandlet
  • Mvn extends PluginBasedToolCommandlet
  • IdeToolCommandlet extends PluginBasedToolCommandlet
    • Eclipse extends IdeToolCommandlet
    • ...

ATTENTION: This story is somehow blocked or conflicting with #94