Add option to change PHP server port
Merge pull request #2 from stroebjo/master

Add option to change PHP server port