editor: remove unused flags-parameter

This was always set to 0, so let's get rid of it.
editor: improve WebSocket-interface

Make sure each command is sent as a separate WebSocket-message, to
lessen the burden of re-assembling commands in the clients.