The current script to generate prefix header for BoringSSL contains some hacks that are fragile. BoringSSL now has an experimental BORINGSSL_PREFIX_SYMBOLS macro that seems like doing the same thing as our hacks. We should check that and, if valid, replace the current script with one that takes advantage of this feature.