Alternative Python runtime for ANTLR4