Renamed some benchmark files

Changed the file extensions from '.rkt' to '.scm'
The total-number-of-traces and average-trace-length metrics are now also run when benchmarks are run