Changed HTTPRequest to use a more precise timer on Windows for calculating request time. Made a minor style change to the WSGI documentation.