Changes

Use the new background task API

This API is slightly more unwieldly to use compared
to the old task progress API (although old is an overstatement
as it is only 3 days old), however I believe it makes
up in performance where a counter is incremented very often,
and thus the progress would be updates rather frequently.
 (commit: 45ed916)