Moving benchmarks to its own repository

[deyaaeldeen]

I propose to move benchmarks to its own repository. Ideally, we would like to run them across different gradually-typed languages, a task that is separate from developing Grift itself. What do you think, @akuhlens?

[akuhlens]

I think that this is a great idea.

[bennn]

Once the move is finished, the "benchmarks" page for the NSF grant needs be updated.

Here's the page's source code. Can one of you submit a pull request to the nuprl/gtp repo when things are ready?
https://github.com/nuprl/gtp/blob/gh-pages/benchmarks.rkt#L45

[deyaaeldeen]

Thanks @bennn for pointing this out. I will.

[bennn]

Also, Grift should be on the "Projects" page