first implementation of webserver
Merge branch 'master' into webserver-impl

Conflicts:
	reflex/coq/bench-webserver/Kernel.v
Added a discussion of frontend choices from email thread.
Dirty commit for Valentin.
Forgot to save.
robustness fixes
made the webserver slightly more realistic
Merge pull request #111 from UCSD-PL/webserver-impl

Webserver impl