An ANTLR4 grammar for Python 3