documentation/server: added how to stop the smuxi-server