performance.md

We are working on a new nightly benchmarking system that will produce performance numbers. This is a splash page for where the performance numbers will be posted in early 2023.