Add a new conversion and simpset fragment for bit-strings.

Support building custom compsets that cover bitstringTheory and integer_wordTheory.

Add a theory of bit-strings, which defines word operations over ``:bool list``. The maps "v2w" and "w2v" provide a connection to fixed-width bit vectors.