Changed the extension of the benchmark document, so that Github does not count it as Racket code