configure: Separate pki from --disable-tools