Docker image for PHP development with Eclipse