Docker container for PHP development