Add bitvector library with automation

Merged Michael Sammler requested to merge msammler/bv into master

This MR adds two new unstable libraries: A library for bitvectors (previously published at and automation for this bitvector library. See the files for some basic description of the functionality provided by the libraries.

Merge request reports