Mechanism for periodically updating index #6
Description
It might be good to provide a way to periodically update the index. Maybe a function like codesearch-auto-update or something. Users can, of course, currently do this on their own with e.g. run-with-idle-timer, so all we'd really need to do is provide a convenience wrapper around that.