Remove a subset of files added in 712ada48c5b:

 * manually gathered .csv results
 * build scripts

But note that a subset of remains may also be unneeded.