Move eiffel JSON files from this repository

[t-persson]

Description

Right now, we have the JSON schemas from the eiffel github repository stored in this repository (as well as eiffel-pythonlib).
We should move them or be able to utilize the ones from the eiffel github.

Motivation

Less mainteance

Exemplification

Benefits

Possible Drawbacks

[magnusbaeck]

We definitely shouldn't store the schemas in this git. Can't we just require the user to supply a path to the schema files?