Fix mongodump / mongorestore tasks.
Fix typos; expand logging.
UI improvements.

Add loading UI.
Show pagination when loading next page.
Show result count, paging counts.
Highlight matching text in tag context.