scala/scala — pull request #1297 by jsuereth (2012-09-13 16:19:40+00:00)
Title: Fixes binary repo push for new typesafe repo layouts.

This adds a new/fixed push.jar and adapts the binary-repo-lib script to use different URLs
for pulling than pushing.

This also adjustst the script to attempt the backup repo in case new artifacts haven't
synched to the fast/stable repository.

BACKPORT from 2.10.x

No Review if tests pass.