find out the reason why memory is not enough when running program

[Desperatesonic]

the cache in GallinaTermParser grows bigger and bigger when the program is running, by adding a function:
def delete_cache(self):
self.cache = {}
and call it periodically, the problem is fixed.

[yangky11]

Thanks! You're welcome to open a pull request adding that function.