store HTML diff files with a SHA1 filename

Otherwise we would have files like '.html' (for path = /),
or files with HTTP query tokens in their names.