Avoid stale Debian package index

By running `apt-get update` when the `update-success-stamp` file exists,
but is older than 1 day.