Fix #74: Use HTML5 storage for settings.

If available, the client should use the localStorage object
instead of saving settings in a cookie.

Values are still serialized, so it works pretty similarly but
the size limit is 5MB instead of 4kB, and the value is no longer
(superfluously) transmitted in web requests.