WIP Running partly works as well

Only the management of the backend and the display of the validation results work.

For the highlighting, there seems to be an infinite loop somewhere :/