Removed unneccessary svn to git scripts, as 6.005 now uses git.