Benchmarking

[cangiuli]

More and better benchmarking. Use PlanetLab? Compare with:

• Zdancewic, Peng code.
• Apache.
• nginx, lighttpd, or other native event-loop servers.
• Handwritten code, or other code which we directly port to He-Man.