Product Filter for WooCommerce 9.1.1

- fixed and improved AJAX product category support WooCommerce 3.3.3 bugs
- fixed and improved support for new layered nav system with filter_ prefix
- fixed special characters selection bugs and issues
- fixed more bugs and issues along the way

- fixed WooCommerce 3.3.x compatibility bugs and issues
- fixed saving default preset (wc 3.3.x bugs)
- fixed result-count.php template new standards (wc 3.3.x bugs)
- fixed pagination.php template new standards (wc 3.3.x bugs)
- fixed category loops (wc 3.3.x bugs)
- fixed remove selected overrides and remove all overrides
- fixed create_function & PHP 7.2.0
- improved terms style manager (paint bucket tool)
- improved terms manager (cogs tool)
- improved overrides display
- improved admin layout a bit

- fixed limit height/max-height option when used with multiple filters
- fixed multiple filters per page clear all bugs and issues
- fixed more wpml currency issues
- fixed woof currency switcher price filtering
- fixed limit height/max-height range and search filter bug
- improved CSS styling, the arrow modes are changed the most
- improved admin pages