Options > Keys: Replace "Save As" by "Save a Copy" for consistency.

The menu entry has been renamed but the corresponding key entry hadn't been updated.

This commit fixes #3398.
Move down "Play # time(s)" option a bit so all translations fit correctly.
Build.bat: Support for debug packages.