Convert Python2/3 to use int arrays not strings for ATN encodings#3561

parrt merged 4 commits intoantlr:devantlr/antlr4:devfrom

parrt:python-to-int-atnparrt/antlr4:python-to-int-atnCopy head branch name to clipboard