run.sh: update default web interface port in help output

port is random since commit 6fedf87e10a793da642c877427268013e26f635b
(Web Port is now randomized by default. Fixes Issue #301)