Docker images use by jenkins for continuous integration of PHP projects