Add Provers Evaluator
Add Provers Evaluator

The evaluator uses JSON.parse because it always operates on short
strings. No need for a SAX parser here.

ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub