add port mapping to docker run command

because there are inexperianced users
is needed to expose the port to the host,
also avoids the problem that websocket tries to connect via 3131 even if docker mapped to a different port