Extend web server mode to support input seed
In addition to the regular randomly generated page localhost:8080/servlets/standalone.rkt
, it would be great if you could manually specify a seed and/or other options in the URL via parameters, e.g., localhost:8080/servlets/standalone.rkt?seed=42
.