Drop extremely dated benchmark page

[saraedum]

it would be nice to show benchmarks but until we have something pretty to show here, we should not show off a Sage from 2009.

[saraedum]

I did a make and make open locally and everything looked reasonable.

[saraedum]

@GiacomoPope, I cannot assign you as a reviewer here. I guess you do not have the right access to this repo. But please have a look anyway :)

[haraldschilly]

Is something like that in the documentation? Maybe it's worth linking to it.

[haraldschilly]

I would prefer to update the benchmarks instead of deleting it, but whatever 🤷‍♂️

[saraedum]

@haraldschilly there are a few similarly dated things in the documentation but they don't tell a story. I am working on updating these and I'll create a PR here once there is something reasonable to show :)

Thanks for merging!

[haraldschilly]

👍