List of Minor Features

[AndreG-P]

Provide the following features to makes it easier to use the API:
Converters:

• Scripts for downloading and install sources of converters (because of license problems we will not provide the tools directly)

Gold:

• Easier switch between local and remote mode (explain config file)
• Download entire MathMLBen and store once (provide function)

Sim:

• Add tree edit distance (RTED) from mathosphere