discard some files that are probably not especially useful

git-svn-id: 2bfe0521-f11c-4a00-b80e-6202646ff360