Update the benchmark result of Hunchentoot.
Add a note about the benchmark.