Set server port to 3000 instead of 80, so no root

Running low port numbers typically requires root on *nix systems,
which is something we should avoid for demos.