Removed code for PHP cli-server.

We are not using the built-in PHP server anyways.