Drop development libs and tools after setup #14
Description
Currently all kinds of devel tools and headers are installed in build-deps.sh. It should be possible to remove them after building the PHP extensions, leaving only the needed shared libraries in place. This should decrease the final image size and might also improve security.