Implement pre-start condition logic

The system must be able avoid incompatible Lima servers to run at the same time. A flexible way to configure that feature is to assign a name to each server, and to be able to specify a pre-start condition for each server as an expression on the running status of the other servers.