Fixes for caching pages for logged in users: set/unset cookie on login/logout; do not use user hash for anonymous users; add option to add timestamp to user hash; tell the browser to vary by cookie