Support building custom compsets that cover bitstringTheory and integer_wordTheory.
Move some shared code into utilsLib.