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

Alternative to #1028 (and my preference). If you accept this, reject #1028.