Docker PHP

Adding common PHP extensions to some of the official PHP Docker images.