Sanitize Zimpl models

[rschwarz]

Zimpl supports reading files and printing their contents. And the scip subprocesses are started with the same user that started the zimplayground server. All files that are readible by this user can easily be leaked.

We could forbid reading from files, or check whether the path is located within some specific folder.