patch.js: Use hashes instead of time stamps for JSON files

Not only does this reduce download times after small changes, it also enables us to completely rebuild the server at any time without 'forcing' an update for everyone.

Shouldn't be necessary for uploaded files, which are still identified by their wiki-side modification date.