Add docs for, and recommend PHP's cli-server