Add Maven settings for our private Jenkins build.