New 'move-to-dist' subcommand for release.py.
New 'move-to-dist' subcommand for release.py.

* tools/dist/release.py
  (move_to_dist): New.
  (main): Add the new subcommand and its arguments.


git-svn-id: f8a4e5e023278da1e04e203c7fe051e3c4285d88@1156281 13f79535-47bb-0310-9956-ffa450edef68

YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion