Rename files and libraries from bitmatch* to bitstring*

diff --git a/bitmatch.ml b/bitstring.ml
similarity index 100%
rename from bitmatch.ml
rename to bitstring.ml

diff --git a/bitmatch.mli b/bitstring.mli
similarity index 100%
rename from bitmatch.mli
rename to bitstring.mli

diff --git a/bitmatch_config.ml.in b/bitstring_config.ml.in
similarity index 100%
rename from bitmatch_config.ml.in
rename to bitstring_config.ml.in

diff --git a/bitmatch_objinfo.ml b/bitstring_objinfo.ml
similarity index 100%
rename from bitmatch_objinfo.ml
rename to bitstring_objinfo.ml

diff --git a/bitmatch_persistent.ml b/bitstring_persistent.ml
similarity index 100%
rename from bitmatch_persistent.ml
rename to bitstring_persistent.ml

diff --git a/bitmatch_persistent.mli b/bitstring_persistent.mli
similarity index 100%
rename from bitmatch_persistent.mli
rename to bitstring_persistent.mli

diff --git a/bitmatch_types.ml b/bitstring_types.ml
similarity index 100%
rename from bitmatch_types.ml
rename to bitstring_types.ml

diff --git a/cil-tools/bitmatch-import-prefix.h b/cil-tools/bitstring-import-prefix.h
similarity index 100%
rename from cil-tools/bitmatch-import-prefix.h
rename to cil-tools/bitstring-import-prefix.h

diff --git a/cil-tools/bitmatch_import_c.ml b/cil-tools/bitstring_import_c.ml
similarity index 100%
rename from cil-tools/bitmatch_import_c.ml
rename to cil-tools/bitstring_import_c.ml

diff --git a/pa_bitmatch.ml b/pa_bitstring.ml
similarity index 100%
rename from pa_bitmatch.ml
rename to pa_bitstring.ml