PROV: Relegate most of the FIPS provider code to libfips.a