Rename files and libraries from bitmatch* to bitstring*
[ocaml-bitstring.git] / cil-tools / bitstring-import-prefix.h