[Lava-users] Splitting the lava-server docker image