Add support for selecting example server port.

Use the HTTP2_PORT environment variable like so:
  HTTP2_PORT=1234 node ./example/server.js
to use something other than the default port of 8080.