Deleting redundant files

They were removed from the SVN repository in r1392. Why do they still
exist on GitHub?