Index updates in the background
This makes the index updates always happen in the background, and puts up a notification for people to track progress. It also includes automatic index updates whenever someone adds a new repo or enables an existing repo.
This is also work towards the goal of replacing ProgressListener
with the Android-native pattern of LocalBroadcastManager
.