Adding scripts, supporting files, and logs used when converting ACL2 from svn on googlecode.com to git on github.com