fixed patches/nginx-1.4.1-no_pool.patch which did not apply at all.
util/dist-check: now we also check the --with-no-pool-patch option of the ./configure script.