Removed the old benchmarks directory.
Moved all benchmark-related stuff to the subdirectory "benchmarks".
Cleaned up the useless benchmark-related artifacts.
Cleaned up and improved a little the benchmarking scripts and the related readme.