New deployment branch: wmf/1.25wmf13

it's the same as "wmf/1.25wmf12c" but with more
conventional naming.

Change-Id: I806b87cfd77f12c428b2b877c8bf403c6a9decc6