Rework: ease startup
Right now, the proxy sets up semaphores and shared memory. Hence, the master depends on this setup and has to be started after the proxy. However, the the amount of time between startup of the proxy and the master is unspecified. This can also be fixed with ZMQEXTENSION-75.
Works for now. Fix includes a FIXME to implement a nicer solution later on, if possible.