Use local Maven repository for Jenkins builds

We sometimes have problems with broken artifacts in the global Jenkins Maven repo. For less problems, let's use private Maven repos - in particular now that we clean up the workspace after use.