Well-formedness checking should be possible locally without server deployment

[rlaemmel]

Just discussed with @sschauss
Previously discussed with @johanneshaertel
We would need this for the project students