User export improvements 2 (PR #10560)

Switch the in-zip filenames to predictable names, like badges.csv, and add user_badges / user_visits.

GitHub