Adds the shortcode [wc_top_customers] to WooCommerce and shows a list of customers ordered by the number of their completed orders.