Replacement: Add work around to tools/download-maven.sh to modify maven/bin/mvn so th...

...at build on Solaris works also.

Replaces #6447, which is based on a branch that now includes unrelated commits.