Alternative Python runtime for ANTLR 4