Use darcsweb.cgi's modification time to invalidate cache entries.


Besides the repository inventory modification time, we also want to check the
script's modification time, so if we make changes to darcsweb (updating it,
for instance), there's no possibility of serving stale pages if the user
forgets to clean the cache. You still need to clean it for configuration
changes.