Removing unused files and tools

Don't merge until Mid-May at least.
See also
 http://lists.w3.org/Archives/Public/public-test-infra/2014AprJun/0034.html