Update: check etag of current.rds to see if we need to update

This only involves a HEAD request, so we can do it very often,
without clogging CRAN.