gitweb: take last refresh time from .last_refresh file