php development environment using Docker