Simple PHP script to "svn export" a repository to a directory