My php docker environment for building extensions etc.