This MR adds two new unstable libraries: A library for bitvectors (previously published at https://gitlab.mpi-sws.org/iris/bitvector) and automation for this bitvector library. See the files for some basic description of the functionality provided by the libraries.