Changed 'svn export' to 'cp -R'

This was originally in an SVN repository, so you had to do `svn export` to
copy the files without the stupid `.svn` directory tagging along.  You now
no longer have to do that, but this regressed from a previous merge.