Multiple docset download ui tweaks

Complements 6582c8d by adding per docset checkboxes,and progress bars.