Remove broadcast command.
Remove broadcast command.

We only want to send the results to the person initiating the request, not
to everyone.

Imvoo/MiniZinc-server,Imvoo/MiniZinc-server,Imvoo/MiniZinc-server