php: optimized dockerfile