Added bitvector-of-int, which makes little-endian bitvectors.
Added bitvector->html-table converters, allowing numbers to easily be represented as bit-grids.