Diff options should persist on reload

[danvk]

Run git webdiff. Change a diff setting like -w. Reload the page. Your setting is gone. It should persist.