[PATCH] New tag <maven:getPath>

We have a tag that can be used to add a new path element to an existing one (<maven:addPath). That tag is great, but in some cases it's necessary to know in advance if the path that is being added is not already in the other path.
One way would be to change the <maven:addPath> behaviour so it does not add a path that it's already there; the other way would be to create a new tag which could be used to get a path - for now, I'm providing a patch for such new tag (which could be reused in other circunstances).

– Felipe

PS: I'm assuming I don't have write access to the jelly-tags module, so the patch...