Add a benchmarking suite

[jespercockx]

Here is how I am running my benchmarks so far:

cd test
agda2scheme --lazy Triples.agda
echo '(display (test1)) (display "\n")' >> Triples.ss
echo '(compile-file "Triples.ss")' | chezscheme -q
time chezscheme --script Triples.so

It would definitely be good to automate this.