Use svn export instead of svn checkout
Use svn export instead of svn checkout

Checkout creates an .svn/ directory, which we don't need or want;
export just downloads the files we're interested in.

google/blockly-games,google/blockly-games,google/blockly-games,google/blockly-games