Avoid some noise from "svn status -u", as per README-svn.  Note
however that although *.sao and .acl2rc were added to
unversioned-files.txt, which I used today with "svn propset" commands,
I did not re-run "svn propset" in all directories since others do not
contain *.sao or .acl2rc files.  But at least these will be included
in future such "svn propset" commands.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2299 303c5b2c-9740-0410-b014-fd8f9db7be32