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)

Signed-off-by: Thomas Stilwell <stilwellt@openlabs.co>
use sigterm instead of sigkill to kill the server

sys.exit() causes a hang for some reason but
os._exit() does not

Signed-off-by: Thomas Stilwell <stilwellt@openlabs.co>