docs (benchmarks/README.md): fix typo in word "benchmarking"#125

gap-editor wants to merge 1 commit intoCertiCoq:masterCertiCoq/certicoq:masterfrom

gap-editor:mastergap-editor/certicoq:masterCopy head branch name to clipboard