Add woocommerce_time_format() function

I thought it would be convenient to provide the time-compliment to the `woocommerce_date_format` so time formats for everything WC can be filtered as well.