Open
Description
The git tools dont work for local servers due to the use of the magic ~/lively4 path, which does not exist locally (at least not on windows). We should use the lively4dir that is already defined in the server but rarely used. It should also be detected automatically on server startup.
This is an important feature to test the server search locally on different repos.