i#1312 AVX-512 support: Formatting of evex_W_extensions table. (#3657)
i#1312 AVX-512 support: Formatting of evex_W_extensions table. (#3657)

Compacts the evex_W_extensions table formatting.

Issue: #1312
AmesianX/dynamorio,AmesianX/dynamorio,AmesianX/dynamorio,AmesianX/dynamorio,AmesianX/dynamorio