Add option to change PHP server port

I added a new option to specify the port number on which the PHP server will run, since I had other services running on port `8888`.