Move benchmarks into benchmark/ subdir.
-rw-r--r-- 56 .gitignore
-rw-r--r-- 1001 Makefile
-rw-r--r-- 1356 README
-rw-r--r-- 11447 Simon-nofib-notes
drwxr-xr-x - benchmarks
drwxr-xr-x - docs
drwxr-xr-x - fibon
drwxr-xr-x - mk
drwxr-xr-x - nofib-analyse
drwxr-xr-x - runstdtest