Add php to docker container so example server works