SP-33: change NVDA punctuation/symbol level to a drop-down with strings as labels

Note: This commit is incomplete without the next one, which adapts the HTML code.