[Pki-devel] [PATCH] 362 Added option to build without server packages.

The build scripts have been modified to accept an optional parameter to build pki-core without the server packages. -- Endi S. Dewata