examples: Print more stats in the get_all_domain_stats.ml example.